IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc not via so
1
1
1. A : Prop
2. 
A
C:Prop. A 
C
Generated subgoal:
| 1 |
3. C : Prop
4. A
C
 | Contradiction |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
