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
|