Nuprl - mb_event_system_5 LEMMAs for w_DASH_es

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

Rank	Theorem	Name
2	Thm* w:World, p:FairFifo. ES(w) ES	[w-es_wf]
cites the following:
1	Thm* the_w:World, l:IdLnk, e:E. sends(l;e) Msg_sub(l; the_w.M) List	[better-w-sends-wf]

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