Mon, 26 Jul 1999 16:08:15 +0200 | paulson | new cancellation laws | changeset | files |
Mon, 26 Jul 1999 10:34:54 +0200 | paulson | tidied | changeset | files |
Fri, 23 Jul 1999 17:49:35 +0200 | paulson | new simprocs assoc_fold and combine_coeff | changeset | files |