Def filter(P;l) == reduce(a,v. if P(a) [a / v] else v fi;nil;l)

is mentioned by

Def rcvs(l;t) == filter(a.isrcv(l;a);map(t1.a(destination(l);t1);upto(t)))	[w-rcvs]
Def w-tagged(tg; mss) == filter(ms.mtag(ms) = tg;mss)	[w-tagged]
Def onlnk(l;mss) == filter(ms.mlnk(ms) = l;mss)	[w-onlnk]
Def sends(l,tg,e) == filter(m.mtag(m) = tg;sends(l;e))	[es-tg-sends]
Def [e, e'] == filter(ev.es-ble{i:l}(es;e;ev);before(e') @ [e'])	[es-interval]

In prior sections: mb list 1 mb list 2 mb event system 1

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html