IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc void via isect
1
1. X : 
A:Type. A
X 
Void
| By: |
X (A:Type. A) Asserted |
Generated subgoal:
| 1 |
2. X (A:Type. A)
X Void
 | 3 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
