(11steps total) PrintForm Definitions LogicSupplement Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: xor vs neg n dec
  P,Q:Prop. P XOR Q  (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:
propandall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(11steps total) PrintForm Definitions LogicSupplement Sections DiscrMathExt Doc