(8steps total) PrintForm Definitions Lemmas mb event system 5 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert-ma-is-empty
  M:MsgA. ma-is-empty(M)  M =   MsgA
By: Auto

Generated subgoals:

1 1. M : MsgA
2. ma-is-empty(M)
  M =   MsgA
5 steps
2 1. M : MsgA
2. M =   MsgA
  ma-is-empty(M)
2 steps

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

(8steps total) PrintForm Definitions Lemmas mb event system 5 Sections EventSystems Doc