IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
w-pred-aux21 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))
first(<i,t-1>) pred(<i,t-1>) E
By:
SimpleInstHyp i 4
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
