Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | file | diff | annotate |
Thu, 08 Aug 2002 23:49:44 +0200 | wenzelm | adhoc_freeze_vars; | file | diff | annotate |
Mon, 18 Dec 2000 15:00:15 +0100 | paulson | new simproc for cancelling common factors, etc. | file | diff | annotate |