Sat, 18 Nov 2006 00:20:27 +0100 | haftmann | added combinators and lemmas | changeset | files |
Sat, 18 Nov 2006 00:20:26 +0100 | haftmann | using class instance | changeset | files |
Sat, 18 Nov 2006 00:20:24 +0100 | haftmann | dvd_def now with object equality | changeset | files |
Sat, 18 Nov 2006 00:20:22 +0100 | haftmann | op div/op mod now named without leading op | changeset | files |