Fri, 09 Jul 2004 16:33:20 +0200 | berghofe | - Added support for conditional equations whose premises involve | changeset | files |
Fri, 09 Jul 2004 16:29:10 +0200 | berghofe | - Expressed infer_derivs' in terms of infer_deriv | changeset | files |
Fri, 09 Jul 2004 16:23:57 +0200 | berghofe | - Removed obsolete clause in function check_str | changeset | files |
Fri, 09 Jul 2004 11:13:36 +0200 | paulson | new profiling function | changeset | files |
Thu, 08 Jul 2004 19:34:56 +0200 | wenzelm | adapted type of simprocs; | changeset | files |
Thu, 08 Jul 2004 19:34:18 +0200 | wenzelm | make SML/NJ happy; | changeset | files |
Thu, 08 Jul 2004 19:34:10 +0200 | wenzelm | added add_term_varnames, term_varnames; | changeset | files |