IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc not via so
1
1. A : Prop
A 
(
C:Prop. A 
C)
Generated subgoals:
| 1 |
2. A
C:Prop. A C
 | 2 steps |
| 2 |
2. C:Prop. A C
A
| 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
