IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
select wf
1
1. A : Type
2. l : A List
3. n : 
4. 0
n
5. n<||l||
l[n] 
A
Generated subgoal:
| 1 |
hd(nth_tl(n;l)) A
 | 3 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
