IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
no prop iff its neg
1
1. P : Prop
2. P 
P
False
| By: |
P Asserted |
Generated subgoals:
| 1 |
P
 | 3 steps |
| 2 |
3. P
False
| 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
