Def lconnects(p;i;j)
Def == lpath(p)
Def == & (||p|| = 0    i = j  Id)
Def == & (||p|| = 0    i = source(hd(p)) & j = destination(last(p)))

is mentioned

In prior sections: mb event system 2 mb event system 7

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html