1. k : 
2. x : k
3. y : k
4. n:, x,y:k. y-x = n  (L:(k-1) List. (x, y) = compose_flips(L))
5. xy
  L:(k-1) List. (x, y) = compose_flips(L)

None

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