(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 1
1. A : MsgAForm
2. B : MsgAForm
  A  B  MsgAForm
By: RepeatFor 8 (Analyze -2) THEN RepeatFor 8 (Analyze -1)
THEN
Repeat (Unfolds [`mk-ma`;`ma-join`;`msg-form`] 0 THEN Reduce 0)

Generated subgoals:

None

About:
member
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