Nuprl - Proof: xor vs neg n dec

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: xor vs neg n dec

P,Q:Prop. P XOR Q

P) & Dec(P)

By:

UnivCD

Generated subgoal:

1 1. P : Prop
2. Q : Prop
P XOR Q (Q P) & Dec(P)
10 steps

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html