Delete knuth.lisp~