IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def withlnk(l;mss) == mapfilter(
ms.2of(ms);
ms.mlnk(ms) = l;mss)
is mentioned
In prior sections:
mb event system 5
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html