IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc false via so
False 
(
C:Prop. C)
Generated subgoals:
| 1 |
1. False
C:Prop. C
 | Trivial |
| 2 |
1. C:Prop. C
False
| 1 step |
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
