Nuprl - Proof: assert of bnot 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert of bnot 2

1. p :

(

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

Generated subgoal:

1 1. True False
False
1 step

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html