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-val wf
  the_es:ES, e:E. val(e)  valtype(e)
By: All_ES THEN DoSubsume THEN Unfold `eventtype` 0 THEN ConclKindCase (kind(e))

Generated subgoals:

None

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

PrintForm Definitions mb event system 2 Sections EventSystems Doc