| Thu, 01 Jul 1999 10:33:50 +0200 | paulson | now div and mod are overloaded; dvd is polymorphic | changeset | files |
| Thu, 01 Jul 1999 10:32:57 +0200 | paulson | new laws mult_le_cancel1, mult_le_cancel2 | changeset | files |
| Wed, 30 Jun 1999 16:00:06 +0200 | wenzelm | antisym first; | changeset | files |