| Mon, 22 Mar 2010 09:16:25 +0100 | Christian Urban | some tuning | file | diff | annotate |
| Thu, 18 Mar 2010 09:31:31 +0100 | Christian Urban | simplified strong induction proof by using flip | file | diff | annotate |
| Mon, 08 Mar 2010 15:01:01 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Thu, 25 Feb 2010 07:48:33 +0100 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |