(4steps total) PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-is-empty wf join 1
  M:MsgAForm. ma-is-empty(M)  
By: Analyze 0 THEN RepeatFor 8 (Analyze -1 THEN Analyze -2)
THEN
Repeat (Unfolds [`ma-is-empty`;`fpf-is-empty`] 0)
THEN
Reduce 0

Generated subgoals:

None

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

(4steps total) PrintForm Definitions Lemmas mb event system 6 Sections EventSystems Doc