| Fri, 06 Mar 2015 12:48:03 +0000 | paulson | A few new lemmas and a bit of tidying up | file | diff | annotate |
| Wed, 18 Feb 2015 22:46:47 +0100 | haftmann | inlined rules to free user-space from technical names | file | diff | annotate |
| Sun, 02 Nov 2014 17:09:04 +0100 | wenzelm | modernized header; | 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 |