Nuprl - mb_event_system_6 LEMMAs for ma_DASH_compat_DASH

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

Rank	Theorem	Name
7	Thm* A,B,C:MsgA. A \|\|+ B C \|\|+ A C \|\|+ B C \|\|+ A B	[ma-compat-join]
cites the following:
6	Thm* A,B,C:MsgA. Thm* A \|\| B Thm* Thm* ma-frame-compatible(A; B) Thm* Thm* ma-sframe-compatible(A; B) Thm* Thm* C \|\| A Thm* Thm* ma-frame-compatible(C; A) Thm* Thm* ma-sframe-compatible(C; A) Thm* Thm* C \|\| B Thm* Thm* ma-frame-compatible(C; B) Thm* Thm* ma-sframe-compatible(C; B) Thm* Thm* C \|\| A B & ma-frame-compatible(C; A B) & ma-sframe-compatible(C; A B)	[ma-compatible-join]

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