| 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 |