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-right
  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