PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-compat-join
  A,B,C:MsgA. A ||+ B  C ||+ A  C ||+ B  C ||+ A  B
By: Auto THEN All (Unfold `ma-compat`) THEN Inst Thm: ma-compatible-join [A;B;C]

Generated subgoals:

None

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

PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Doc