| Fri, 19 Sep 2014 08:26:03 +0200 | Andreas Lochbihler | merged | file | diff | annotate |
| Thu, 18 Sep 2014 15:23:23 +0200 | Andreas Lochbihler | add lemma | file | diff | annotate |
| Thu, 18 Sep 2014 16:47:40 +0200 | blanchet | use selector | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| Sat, 25 May 2013 17:40:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Tue, 26 Mar 2013 20:02:02 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Fri, 08 Mar 2013 13:21:55 +0100 | kuncar | setup_lifting doesn't support a type variable as a raw type | file | diff | annotate |
| Thu, 28 Feb 2013 12:24:24 +0100 | wenzelm | simplified imports; | file | diff | annotate |
| Thu, 28 Jun 2012 09:14:57 +0200 | Andreas Lochbihler | add generic phantom type | file | diff | annotate |