IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
stamps sfa
2
1
1. i :
2. 8<i
3. m :
4. n :
5. 3m+5n = i-1
m,n:. 3m+5n = i
Generated subgoals:
1 |
6. n = 0
m,n:. 3m+5n = i
| 2 steps |
2 |
6. n = 0
m,n:. 3m+5n = i
| 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html