IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
not sq iff sq
P:Prop. 
P 
P
Generated subgoals:
| 1 |
1. P : Prop
2. P
P
 | 2 steps |
| 2 |
1. P : Prop
2. P
P
| 3 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
