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-empty wf
    MsgA
By: Auto THEN Unfold `ma-empty` 0 THEN Analyze THEN Reduce 0
THEN
Try (Complete Auto)

Generated subgoals:

None

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

PrintForm Definitions mb event system 5 Sections EventSystems Doc