mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def a = b == eqof(IdLnkDeq)(a,b)

is mentioned by

Def withlnk(l;mss) == mapfilter(ms.2of(ms);ms.mlnk(ms) = l;mss)[w-withlnk]
Def onlnk(l;mss) == filter(ms.mlnk(ms) = l;mss)[w-onlnk]
Def isrcv(l;a) == isnull(a)isrcv(kind(a))lnk(kind(a)) = l[w-isrcvl]

In prior sections: mb event system 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