PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-empty-compat-left
  A:MsgA.  ||+ A
By: Unfold `ma-compat` 0 THEN Try (BackThru Thm* A:MsgA. ma-frame-compatible(; A))
THEN
Try (BackThru Thm* A:MsgA. ma-sframe-compatible(; A))
THEN
Try (BackThru Thm* A:MsgA.  || A)

Generated subgoals:

None

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

PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Doc