| Sat, 18 Nov 2006 00:20:33 +0100 | haftmann | code thms for classops violating type discipline ignored | changeset | files |
| Sat, 18 Nov 2006 00:20:29 +0100 | haftmann | cleanup | changeset | files |
| Sat, 18 Nov 2006 00:20:28 +0100 | haftmann | added instance for class size | changeset | files |
| 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 |
| Sat, 18 Nov 2006 00:20:21 +0100 | haftmann | workaround for definition violating type discipline | changeset | files |
| Sat, 18 Nov 2006 00:20:20 +0100 | haftmann | moved dvd stuff to theory Divides | changeset | files |
| Sat, 18 Nov 2006 00:20:19 +0100 | haftmann | re-eliminated thm trichotomy | changeset | files |
| Sat, 18 Nov 2006 00:20:18 +0100 | haftmann | power is now a class | changeset | files |
| Sat, 18 Nov 2006 00:20:17 +0100 | haftmann | tuned | changeset | files |
| Sat, 18 Nov 2006 00:20:16 +0100 | haftmann | clarified module dependencies | changeset | files |
| Sat, 18 Nov 2006 00:20:15 +0100 | haftmann | div is now a class | changeset | files |