IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
assoced nelim
1
1. a : 
2. b :
a = b 
a = -b 
a = b
Generated subgoals:
| 1 |
3. a = b a = -b
a = b
 | 1 step |
| 2 |
3. a = b
a = b a = -b
| 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
