Nuprl - Proof: xor vs neg n dec 1 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: xor vs neg n dec 1 1 2

1. P : Prop
2. Q : Prop
3. P

Q
4.

(P & Q)
5. Q

Dec(P)

By:	Rewrite-3 by Q P

Generated subgoal:

1 6. P P
Dec(P)
1 step

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html