| Thu, 08 Aug 2019 12:11:40 +0200 | wenzelm | prefer named lemmas -- more compact proofterms; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | 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 |
| Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
| Mon, 06 Aug 2012 15:12:18 +0200 | huffman | modify group_cancel simprocs so that they can cancel multiple terms at once | file | diff | annotate |
| Sat, 28 Jul 2012 07:26:37 +0200 | huffman | move exception handlers outside of let block | file | diff | annotate |
| Fri, 27 Jul 2012 15:42:39 +0200 | huffman | replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones | file | diff | annotate |