Wed, 26 Nov 1997 16:42:37 +0100 | wenzelm | Cancel common constant factor from balanced exression. | changeset | files |
Wed, 26 Nov 1997 16:42:19 +0100 | wenzelm | Cancel common summands of balanced expressions. | changeset | files |
Wed, 26 Nov 1997 16:41:51 +0100 | wenzelm | removed conv_prover; | changeset | files |