| Mon, 01 Aug 2005 19:20:26 +0200 | wenzelm | simprocs: Simplifier.inherit_bounds; | file | diff | annotate |
| Mon, 16 May 2005 10:29:15 +0200 | paulson | Use of IntInf.int instead of int in most numeric simprocs; avoids | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | 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 |
| Thu, 08 Aug 2002 23:49:44 +0200 | wenzelm | adhoc_freeze_vars; | file | diff | annotate |
| Wed, 13 Dec 2000 10:30:40 +0100 | paulson | tries harder to remove negative literals, e.g. | file | diff | annotate |
| Wed, 29 Nov 2000 10:22:38 +0100 | paulson | simproc for cancelling common factors around = < <= div / | file | diff | annotate |