IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
eqmod weakening
1
1
1. m : 
2. a :
3. b :
4. a = b
m | 0
| By: |
BackThru Thm*  b:. b | 0 |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
