IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
or fused
Q:Prop. Q 
Q 
Q
Generated subgoals:
| 1 |
1. Q : Prop
2. Q Q
Q
 | 1 step |
| 2 |
1. Q : Prop
2. Q
Q Q
| 1 step |
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
