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