Def w-tagged(tg; mss) == filter(ms.mtag(ms) = tg;mss)

is mentioned

In prior sections: mb event system 5

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