(2steps total) PrintForm DiscreteMath Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: parallel conjunct imp
  A,B,C,D:Prop. (A  C)  (B  D)  A & B  C & D
By: UnivCD

Generated subgoal:

1 1. A : Prop
2. B : Prop
3. C : Prop
4. D : Prop
5. A  C
6. B  D
7. A & B
  C & D
1 step

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

(2steps total) PrintForm DiscreteMath Sections DiscrMathExt Doc