Nuprl - mb_event_system_6 LEMMAs for ma_DASH_outlinks_DASH

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

Rank	Theorem	Name
5	Thm* A,B:MsgAForm, ltg:(IdLnkIdType), i:Id. Thm* (ltg ma-outlinks(A B;i)) Thm* Thm* (ltg ma-outlinks(A;i)) (ltg ma-outlinks(B;i))	[ma-outlinks-join]
cites the following:
4	Thm* ltg:(IdLnkIdType), i:Id, da1,da2:k:Knd fp-> Type. Thm* (ltg da-outlinks(da1 da2;i)) Thm* Thm* (ltg da-outlinks(da1;i)) (ltg da-outlinks(da2;i))	[da-outlinks-join]

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