l:IdLnk, tg:Id, L:MsgA List.
Thm* (
M
L.T 
r M.din(l,tg)) 
(T r 
(L).din(l,tg))is mentioned by
| l:IdLnk, tg:Id, L:MsgA List.
Thm* ( ML.T r M.din(l,tg)) (T r (L).din(l,tg)) | [sub-join-list-din] |
In prior sections: mb event system 5
Try larger context:
EventSystems
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html