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: ma-empty-is-empty
  ma-is-empty()
By: RWO Thm* M:MsgA. ma-is-empty(M)  M =   MsgA 0

Generated subgoals:

None

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

PrintForm Definitions Lemmas mb event system 5 Sections EventSystems Doc