(4steps total) PrintForm Definitions bool 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: iff imp equal bool 1
1. a : 
2. b : 
3. a  b
  a = b
By: OnCls [2;1] BoolCases THEN RWH assert_evalC -1

Generated subgoals:

1 1. False  True
2. False  True
  false = true
1 step
2 1. True  False
2. True  False
  true = false
1 step

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

(4steps total) PrintForm Definitions bool 1 Sections StandardLIB Doc