mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
RankTheoremName
4Thm* the_w:World, e:E.
Thm* FairFifo  isrcv(kind(e))  index(e)  ||sends(lnk(kind(e));sender(e))||		[w-index_wf]
cites the following:
0Thm* f:(). (n:. f(n))  f(mu(f)) & (i:. i<mu(f)  f(i))[mu-property]
3Thm* the_w:World, e:E.
Thm* FairFifo  isrcv(kind(e))  (t:time(e). match(lnk(kind(e));t;time(e)))		[w-match-exists]
0Thm* the_w:World, l:IdLnk, t,t':.
Thm* match(l;t;t')
Thm* 
Thm* ||snds(l;t)||||rcvs(l;t')||
Thm* & ||rcvs(l;t')||<||snds(l;t)||+||onlnk(l;m(source(l);t))||		[assert-w-match]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb event system 3 Sections EventSystems Doc