Def == (||snds(l;t)||
||rcvs(l;t')||)
Def == (||rcvs(l;t')||<
||snds(l;t)||+||onlnk(l;m(source(l);t))||)||rcvs(l;t')||)
||snds(l;t)||+||onlnk(l;m(source(l);t))||)is mentioned
In prior sections: mb event system 3
Try larger context:
EventSystems
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html