IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
assert elim
1
1. b : 
2. b
b = true
Generated subgoals:
| 1 |
1. true
true = true
 | Auto |
| 2 |
1. false
false = true
| 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
