Def sends(l,tg,e) == filter(m.mtag(m) = tg;sends(l;e))

is mentioned by

Thm* i:Id, L:Knd List, l:IdLnk, tg:Id. Thm* @i: only L sends on (l with tg)  Dsys Thm* & (D:Dsys.  Thm* & (@i: only L sends on (l with tg)  D Thm* & ( Thm* & (D  Thm* & (realizes es.e:E.  Thm* & (realizes es.loc(e) = i  Id  null(sends(l,tg,e))  (kind(e)  L))

[s-sframe-rule]

In prior sections: mb event system 6

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html