1. 'a : S
2. l : hlist('a)
3. n : 
  if n+1=0 then hd(l) else el(n+1-1,tl(l)) fi  = el(n,tl(l))

1

4. n+1 = 0   el(n+1-1,tl(l)) = el(n,tl(l))

2 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html