| Sat, 08 Jul 2006 12:54:30 +0200 | wenzelm | simprocs: no theory argument -- use simpset context instead; | file | diff | annotate |
| Fri, 23 Sep 2005 22:21:53 +0200 | wenzelm | Simplifier.inherit_bounds; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Thu, 08 Jul 2004 19:34:56 +0200 | wenzelm | adapted type of simprocs; | file | diff | annotate |
| Fri, 19 Dec 1997 10:33:24 +0100 | wenzelm | adapted to new sort function; | file | diff | annotate |
| Tue, 02 Dec 1997 12:42:59 +0100 | wenzelm | adapted to new term order; | file | diff | annotate |
| Wed, 26 Nov 1997 16:42:19 +0100 | wenzelm | Cancel common summands of balanced expressions. | file | diff | annotate |