PrintForm Definitions mb basic Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: cand functionality wrt iff
  a1,a2,b1,b2:Prop. (a1  a2)  (b1  b2)  (a1 & b1  a2 & b2)
By: Auto THEN ExRepD THEN ThinTrivial THEN Try Trivial

Generated subgoals:

None

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

PrintForm Definitions mb basic Sections MarkB generic Doc