moved to http://www.imn.htwk-leipzig.de/~waldmann/etc/untutorial/isabelle/