IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc sqtype ctr example part2
(
n.n<
0) = (n.false) 
Generated subgoal:
| 1 |
1. n :
(n<0) = false
 | 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
