| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Fri, 04 Jul 2014 15:50:28 +0200 | wenzelm | revived unchecked theory (see cebaf814ca6e); | file | diff | annotate |