PrintForm Definitions mb event system 7 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: once wf
  loc,a,i:Id. once(loc;a;i)  MsgA List
By: Unfold `once` 0 THEN MaAuto

Generated subgoals:

None

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

PrintForm Definitions mb event system 7 Sections EventSystems Doc