Nuprl - Proof: parallel conjunct imp 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: parallel conjunct imp 1

1. A : Prop
2. B : Prop
3. C : Prop
4. D : Prop
5. A

C
6. B

D
7. A & B

C & D

By:	SimilarTo: A & B THEN BackThru: A C \| B D

Generated subgoals:

None

About:

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