| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | 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 |
| 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 |