PrintForm Definitions mb event system 2 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: es-index wf
  the_es:ES, e:E. isrcv(e)  index(e)  ||sends(lnk(e);sender(e))||
By: All_ES

Generated subgoals:

None

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

PrintForm Definitions mb event system 2 Sections EventSystems Doc