IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc sqtype ctr example part12 1. (n.n<0) ~ (n.false)
(n.n<0) = (n.false)
By:
SqSubstInConcl ((n.n<0) ~ (n.false))
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html