mb event system 5 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
RankTheoremName
3Thm* ma-is-empty()[ma-empty-is-empty]
cites the following:
2Thm* M:MsgA. ma-is-empty(M M =   MsgA[assert-ma-is-empty]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb event system 5 Sections EventSystems Doc