x,y
L.P(x;y)) == i:
||L||, j:i. P(L[j];L[i])x,yL.P(x;y)) == i:||L||, j:i. P(L[j];L[i])is mentioned
In prior sections: mb event system 1 mb event system 6 mb event system 7
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html