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 |