(9steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc or via so 1 1
1. A : Prop
2. B : Prop
3. A  B
  C:Prop. (A  C)  (B  C)  C
By: Auto

Generated subgoal:

1 4. C : Prop
5. A  C
6. B  C
  C
3 steps

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

(9steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc