| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Fri, 19 Jul 2013 17:35:12 +0200 | wenzelm | turned pattern unify flag into configuration option (global only); | file | diff | annotate |