mb event system 3 Sections EventSystems Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def m(l;t) == onlnk(l;m(source(l);t))

is mentioned by

Def snds(l;t) == concat(map(t1.m(l;t1);upto(t)))[w-snds]

Try larger context: EventSystems IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

mb event system 3 Sections EventSystems Search Doc