IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
w-pred-aux22 1. the_w : World
2. t : 3. 0<t 4. i:Id. first(<i,t-1>) pred(<i,t-1>) E
5. t=0
6. i : Id
7. isnull(a(i;t-1))
false <i,t-1> E
By:
Unfold `w-E` 0 THEN Analyze THEN Reduce 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
i:Id. 
first(<i,t-1>) 
pred(<i,t-1>) 
E
0
