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

Generated subgoal:

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

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

(5steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc