PrintForm Definitions mb event system 2 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: event system wf
  ES  Type{i'}
By: Unfold `event_system` 0 THEN Try (Analyze -1 THEN Unhide)

Generated subgoals:

None

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

PrintForm Definitions mb event system 2 Sections EventSystems Doc