IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
no prime divs one
1
1. b : 
b | 1 
prime(b)
| By: |
Decide: 0 b ...w |
Generated subgoals:
| 1 |
2. 0b
b | 1 prime(b)
 | 1 step |
| 2 |
2. 0b
b | 1 prime(b)
| 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
