Nuprl - mb_event_system_6 LEMMAs for ma_DASH_join_DASH_list_DASH

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Rank	Theorem	Name
9	Thm* L:MsgA List. (A,BL.A \|\|+ B) (M:MsgA. (BL.M \|\|+ B) M \|\|+ (L))	[ma-join-list-compat]
cites the following:
8	Thm* L:MsgA List. Thm* (A,BL.A \|\|+ B) (L) MsgA & (M:MsgA. (BL.M \|\|+ B) M \|\|+ (L))	[ma-join-list-property]

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html