g == <1of(f) @ filter(
a.
a 
dom(f);1of(g)),a.f(a)?g(a)> g == <1of(f) @ filter(a.a dom(f);1of(g)),a.f(a)?g(a)>is mentioned
In prior sections: mb event system 4 mb event system 5
Try larger context:
EventSystems
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html