IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
assert elim
1
2
1. false
false = true
| By: |
Inst Thm*  false [] |
Generated subgoal:
| 1 |
2. false
false = true
 | Auto |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
