(4steps total) PrintForm Definitions bool 1 Sections StandardLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert of bnot
  p:. p  p
By: (Analyze 0) THEN (Analyze 0)

Generated subgoals:

1 1. p : 
  p  p
1 step
2 1. p : 
  p  (p)
2 steps

About:
boolassertimpliesall
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

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