IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def M1 || M2
Def == M1 ||decl M2
Def == & 1of(2of(2of(M1))) || 1of(2of(2of(M2)))
Def == & 1of(2of(2of(2of(M1)))) || 1of(2of(2of(2of(M2))))
Def == & 1of(2of(2of(2of(2of(M1))))) || 1of(2of(2of(2of(2of(M2)))))
Def == & 1of(2of(2of(2of(2of(2of(M1)))))) || 1of(2of(2of(2of(2of(2of(M2))))))
Def == & 1of(2of(2of(2of(2of(2of(2of(M1))))))) || 1of(2of(2of(2of(2of(2of(2of(
Def == & 1of(2of(2of(2of(2of(2of(2of(M1))))))) || 1of(M2)))))))
Def == & 1of(2of(2of(2of(2of(2of(2of(2of(
Def == & 1of(M1)))))))) || 1of(2of(2of(2of(2of(2of(2of(2of(M2))))))))
is mentioned by
| Def A ||+ B == A || B & ma-frame-compatible(A; B) & ma-sframe-compatible(A; B) | [ma-compat] |
Try larger context:
EventSystems
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
