| Fri, 22 Sep 2017 03:08:30 +0100 | Christian Urban | updated to Isabelle 2016-1 | file | diff | annotate |
| Thu, 21 Sep 2017 14:23:42 +0100 | Christian Urban | polished | file | diff | annotate |
| Wed, 06 Jan 2016 16:34:26 +0000 | Christian Urban |
renamed files | file | diff | annotate |
| Tue, 15 Dec 2015 15:10:40 +0000 | Christian Urban |
removed some fixes about which Isabelle complains | file | diff | annotate |
| Wed, 09 Sep 2015 11:24:19 +0100 | Christian Urban |
updated for Isabelle 2015 | file | diff | annotate |
| Thu, 12 Jun 2014 10:14:50 +0100 | Christian Urban |
a few additions | file | diff | annotate |
| Mon, 02 Jun 2014 14:58:42 +0100 | Christian Urban |
updated | file | diff | annotate |