(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 2
1. M : MsgA
2. M = 
  ma-is-empty(M)
By: HypSubst -1 0

Generated subgoal:

1   ma-is-empty()
1 step

About:
assertequal
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