Nuprl - mb_event_system_6 LEMMAs for ma_DASH_empty_DASH_compat_DASH

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

Rank	Theorem	Name
2	Thm* A:MsgA. \|\|+ A	[ma-empty-compat-left]
cites the following:
1	Thm* A:MsgA. \|\| A	[ma-empty-compatible-left]
0	Thm* A:MsgA. ma-sframe-compatible(; A)	[ma-empty-sframe-compatible-left]
0	Thm* A:MsgA. ma-frame-compatible(; A)	[ma-empty-frame-compatible-left]

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