>>>>> "ML" == Matthias Lindner <lindner@forwiss.uni-erlangen.de> writes: ML>ftp://aida.intellektik.informatik.th-darmstadt.de/pub/plopp/with-wish.tar.gz And also: ftp://ma2s2.mathematik.uni-karlsruhe.de/pub/lisp/clisp/contrib/with-wish.tar.gz