PrintForm Definitions mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: msga-sub-msg-form
  MsgA r MsgAForm
By: Unfolds [`msga`;`msg-form`] 0 THEN Analyze 0 THEN Analyze 0

Generated subgoals:

None

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

PrintForm Definitions mb event system 6 Sections EventSystems Doc