mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def mapfilter(f;P;L) == map(f;filter(P;L))

is mentioned by

Def withlnk(l;mss) == mapfilter(ms.2of(ms);ms.mlnk(ms) = l;mss)[w-withlnk]

In prior sections: mb list 2

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

mb event system 3 Sections EventSystems Doc