Thu, 01 Jul 1999 10:36:38 +0200 | paulson | expandshort | changeset | files |
Thu, 01 Jul 1999 10:35:35 +0200 | paulson | many new theorems concerning multiplication and (in)equations | changeset | files |
Thu, 01 Jul 1999 10:33:50 +0200 | paulson | now div and mod are overloaded; dvd is polymorphic | changeset | files |