At: hanoi step at sym

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

1

1. n :  2. f : {1...n}Peg 3. g : {1...n}Peg 4. k : {1...n} 5. Moving disk k of n takes f to g   Moving disk k of n takes g to f

3 steps

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