PrintForm Definitions mb event system 6 Sections EventSystems Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm Definitions mb event system 6 Sections EventSystems Search Doc