| Wed, 26 Oct 2011 12:59:44 +0100 | Christian Urban | updated to post-2011-1 Isabelle | file | diff | annotate |
| Wed, 19 Oct 2011 21:57:22 +0100 | Christian Urban | a few things updated | file | diff | annotate |
| Mon, 17 Oct 2011 13:30:49 +0100 | Christian Urban | this version works with Isabelle2011-1 | file | diff | annotate |