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-sframe-compatible wf
  A,B:MsgA. ma-sframe-compatible(A; B)  Prop
By: Auto THEN Unfold `ma-sframe-compatible` 0 THEN Unfold_MsgA -2
THEN
Unfold_MsgA -1
THEN
Try FpfSubtype

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