| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Sat, 05 Jul 2014 11:01:53 +0200 | haftmann | prefer ac_simps collections over separate name bindings for add and mult | file | diff | annotate |
| Wed, 11 Jun 2014 14:24:23 +1000 | Thomas Sewell | Hypsubst preserves equality hypotheses | file | diff | annotate |