IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No proposition is equivalent to its own negation.
At:
no prop iff its neg
P:Prop. 
(P 
P)
Generated subgoal:
| 1 |
1. P : Prop
2. P P
False
 | 6 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
