Sun, 11 Jul 2004 20:33:22 +0200 | wenzelm | local_cla/simpset_of; | changeset | files |
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 |