Nuprl - Proof: btrue neq bfalse 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: btrue neq bfalse 1

1. true

= false

False

By:	ApFunToHypEquands `x' if x 1 else 0 fi 1

Generated subgoal:

1 2. if true 1 else 0 fi = if false 1 else 0 fi
False
1 step

About:

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