(2steps total) PrintForm Definitions mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: msg-form-join
  A,B:MsgAForm. A  B  MsgAForm
By: Auto

Generated subgoal:

1 1. A : MsgAForm
2. B : MsgAForm
  A  B  MsgAForm
1 step

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

(2steps total) PrintForm Definitions mb event system 6 Sections EventSystems Doc