| Mon, 17 Oct 2011 13:30:49 +0100 | Christian Urban | this version works with Isabelle2011-1 | file | diff | annotate |
| Sun, 31 Jul 2011 00:00:58 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Wed, 23 Feb 2011 23:55:37 +0000 | Christian Urban | updated to post-2011 Isabelle | file | diff | annotate |