PrintForm Definitions mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-frame-compatible wf
  A,B:MsgA. ma-frame-compatible(A; B)  Prop
By: Auto THEN Unfold `ma-frame-compatible` 0 THEN Unfold_MsgA -2 THEN Unfold_MsgA -1

Generated subgoals:

None

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

PrintForm Definitions mb event system 6 Sections EventSystems Doc