Definitions bool 1 Doc

At: assert of bnot 1
1. p:

p p
By:
BoolInd 1
THEN
Unfolds [`assert`;`bnot`;`not`] 0
THEN
Rewrite (RepeatC (HigherC ifthenelse_evalC)) 0
Generated subgoals:

None