| 2017-09-22 | Christian Urban | updated to Isabelle 2016-1 | file | diff | annotate |
| 2017-09-21 | Christian Urban | polished | file | diff | annotate |
| 2016-01-06 | Christian Urban |
renamed files | file | diff | annotate |
| 2015-12-15 | Christian Urban |
removed some fixes about which Isabelle complains | file | diff | annotate |
| 2015-09-09 | Christian Urban |
updated for Isabelle 2015 | file | diff | annotate |
| 2014-06-12 | Christian Urban |
a few additions | file | diff | annotate |