Wed, 06 Dec 2000 22:10:11 +0100 | wenzelm | unsymbolize; | changeset | files |
Wed, 06 Dec 2000 22:08:49 +0100 | wenzelm | left_minus axiom; | changeset | files |
Wed, 06 Dec 2000 21:53:05 +0100 | wenzelm | tuned; | changeset | files |
Wed, 06 Dec 2000 21:52:49 +0100 | wenzelm | activate Rational_Numbers; | changeset | files |
Wed, 06 Dec 2000 21:32:25 +0100 | wenzelm | deactivate Rational_Numbers (tmp!); | changeset | files |
Wed, 06 Dec 2000 21:10:40 +0100 | wenzelm | updated; | changeset | files |