IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
num iso
2
1
1
1
1
2
2
2
1
1. 
2.
3. n :
4. 0<n
5. 
y:. 
x:. y = x+1
False
Generated subgoal:
| 1 |
5. x:. 0 = x+1 
False
 | 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
