| Wed, 15 Apr 2009 13:11:08 +0000 | Christian Urban | replaced "warning" with "writeln" | file | diff | annotate |
| Thu, 02 Apr 2009 11:48:35 +0100 | Christian Urban | section for further material about simple inductive | file | diff | annotate |
| Mon, 30 Mar 2009 09:33:50 +0100 | Christian Urban | updated to latest Isabelle | file | diff | annotate |