PrintForm Definitions mb event system 5 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-join wf
  M1,M2:MsgA. M1 ||decl M2  M1  M2  MsgA
By: All_MsgA THEN Analyze 0 THEN Unfold_MsgA -1 THEN Fold `mk-ma` 0
THEN
All (Unfold `ma-valtype`)
THEN
DoSubsume
THEN
ProveFpfSub

Generated subgoals:

None

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

PrintForm Definitions mb event system 5 Sections EventSystems Doc