PrintForm Definitions mb event system 5 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-is-empty wf
  M:MsgA. ma-is-empty(M)  
By: All_MsgA THEN Unfold `ma-is-empty` 0 THEN Reduce 0 THEN Unfold `fpf-is-empty` 0
THEN
AllHyps (h.Analyze h)
THEN
Reduce 0

Generated subgoals:

None

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

PrintForm Definitions mb event system 5 Sections EventSystems Doc