Nuprl - mb_event_system_6 LEMMAs for ma_DASH_outlinks_DASH_join_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
6	Thm* L:MsgA List, P:(IdLnkIdTypeProp), i:Id. Thm* (ML.(ltgma-outlinks(M;i).P(ltg))) (ltgma-outlinks((L);i).P(ltg))	[ma-outlinks-join-list]
cites the following:
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]
2	Thm* P:(TProp), x:T, L:T List. (y[x / L].P(y)) P(x) & (yL.P(y))	[l_all_cons]
0	Thm* M:MsgAForm, i:Id. ma-outlinks(M;i) (IdLnkIdType) List	[ma-outlinks-wf2]
0	Thm* A,B:MsgAForm. A B MsgAForm	[msg-form-join]
0	Thm* MsgA r MsgAForm	[msga-sub-msg-form]
1	Thm* L:MsgA List. (L) MsgAForm	[msg-form-join-list]

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