(2steps total) PrintForm Definitions bool 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert of bimplies
  p,q:. pq  (p  q)
By: (RepeatMFor 2 (Analyze 0)) THEN BoolEval THEN (AbReduce 0)

Generated subgoal:

1 1. True  False
  False
1 step

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

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