is mentioned by
![]() ![]() ![]() ![]() ![]() ![]() ![]() Thm* s is a Hanoi(n disk) seq on a..z ![]() | [hanoi_seq_wf] |
![]() ![]() ![]() ![]() Thm* Moving disk k of n takes f to g ![]() | [hanoi_step_at_wf] |
In prior sections: core fun 1 well fnd int 1 bool 1 int 2
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html