Def e@i.P(e) == e:E. loc(e) = i  Id  P(e)

is mentioned

In prior sections: mb event system 3 mb event system 7

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