Mon, 18 Nov 1996 16:30:06 +0100 | paulson | Changed subst_bounds to subst_bound, to run faster | changeset | files |
Mon, 18 Nov 1996 16:28:40 +0100 | paulson | Optimizations: removal of polymorphic equality; one-argument case | changeset | files |
Mon, 18 Nov 1996 16:27:34 +0100 | paulson | Speedups involving norm | changeset | files |