IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
w-act wf11 1. the_w : World
2. e : {p:(Id)| isnull(a(1of(p);2of(p))) }
isnull(a(1of(e);2of(e)))
By:
Analyze -1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
)| 
isnull(a(1of(p);2of(p))) }
