IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc find intlist great bound
1
1
1
1. 
List
{y:| 
i:
||nil||. nil[i]<y }
Generated subgoal:
| 1 |
{y:| i:0. nil[i]<y }
 | 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
