At: hanoi step at same

  n:, f,g:({1...n}Peg), k,i:{1...n}.
  Moving disk k of n takes f to g  i  k  f(i) = g(i)

1

1. n :  2. f : {1...n}Peg 3. g : {1...n}Peg 4. k : {1...n} 5. i : {1...n} 6. Moving disk k of n takes f to g 7. i  k   f(i) = g(i)

1 step

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