Def tagged-messages(l;s;v;L) == map(x.<l,x>;tagged-list-messages(s;v;L))

is mentioned

In prior sections: mb event system 6

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