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 |
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 |
Wed, 11 Sep 2013 15:30:12 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
Fri, 02 Aug 2013 15:42:01 +0900 | Christian Sternagel | added examples of adhoc overloading | file | diff | annotate |