Def l1  l2 == l:T List. l2 = (l1 @ l)

is mentioned

In prior sections: mb list 1 mb list 2 mb event system 1

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