(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
1. M : MsgA
2. M = 
  ma-is-empty()
By: Repeat
(Unfolds [`fpf-empty`;`fpf-is-empty`;`ma-is-empty`;`ma-empty`;`mk-ma`] 0
(THEN
(Reduce 0)

Generated subgoals:

None

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