(3steps total) PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc sqtype ctr example part2 1
1. n : 
  (n<0) = false
By: BackThru: Thm* b:. b  b = false

Generated subgoal:

1   n<0
1 step

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

(3steps total) PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc