(3steps total) PrintForm Definitions mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: w-act wf 1
1. the_w : World
2. e : {p:(Id)| isnull(a(1of(p);2of(p))) }
  a(1of(e);2of(e))  {a:Action(1of(e))| isnull(a) }
By: Analyze

Generated subgoal:

1   isnull(a(1of(e);2of(e)))
1 step

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

(3steps total) PrintForm Definitions mb event system 3 Sections EventSystems Doc