IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
no prop iff its neg
1
1
1
1. P : Prop
2. P 
P
3. P
False
| By: |
FwdThru: P P on [ P ] |
Generated subgoal:
| 1 |
4. P
False
 | Contradiction |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
