| Thu, 19 Apr 2018 13:57:17 +0100 | Christian Urban | updated to Isabelle 2016-1 | file | diff | annotate |
| Thu, 09 Jul 2015 02:32:46 +0100 | Christian Urban |
updated for Isabelle 2015 | file | diff | annotate |
| Thu, 15 Dec 2011 16:20:42 +0000 | Christian Urban | updated to lates changes in the datatype package | file | diff | annotate |
| Fri, 08 Jul 2011 05:04:23 +0200 | Christian Urban | some code refactoring | file | diff | annotate |
| Thu, 07 Jul 2011 16:16:42 +0200 | Christian Urban | code refactoring; introduced a record for raw_dt_info | file | diff | annotate |
| Wed, 29 Jun 2011 23:08:44 +0100 | Christian Urban | combined distributed data for alpha in alpha_result (partially done) | file | diff | annotate |
| Thu, 23 Jun 2011 13:09:17 +0100 | Christian Urban | added file | file | diff | annotate |