IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def A ||+ B == A || B & ma-frame-compatible(A; B) & ma-sframe-compatible(A; B)
is mentioned
In prior sections:
mb event system 6
mb event system 7
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
