HanoiTowers
Search
Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Formal treatment of the Towers of Hanoi problem. See creation_script.lisp (sfa)
Fri Apr 2 16:00:30 EST 2004; WebProjector version=15; NuprlDPSE version=162 (patch 3)
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
HanoiTowers
Search
Doc