is mentioned by

Thm* A:MsgA. A ||+	[ma-empty-compat-right]
Thm* A:MsgA.  ||+ A	[ma-empty-compat-left]
Thm* A:MsgA. ma-sframe-compatible(; A)	[ma-empty-sframe-compatible-left]
Thm* A:MsgA. ma-frame-compatible(A; )	[ma-empty-frame-compatible-right]
Thm* A:MsgA. ma-sframe-compatible(A; )	[ma-empty-sframe-compatible-right]
Thm* A:MsgA. ma-frame-compatible(; A)	[ma-empty-frame-compatible-left]
Def @i: A(j) == if j = i A else  fi	[m-sys-at]

In prior sections: mb event system 4 mb event system 5

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html