| Wed, 18 Feb 2004 10:40:29 +0100 | paulson | removed obsolete theorem | changeset | files |
| Tue, 17 Feb 2004 17:41:30 +0100 | berghofe | Moved application of flexflex_unique from standard' to standard. | changeset | files |
| Tue, 17 Feb 2004 10:41:59 +0100 | paulson | further tweaks to the numeric theories | changeset | files |
| Mon, 16 Feb 2004 15:24:03 +0100 | paulson | arith | changeset | files |
| Mon, 16 Feb 2004 03:25:52 +0100 | kleing | lemmas about card (set xs) | changeset | files |
| Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | changeset | files |
| Sat, 14 Feb 2004 02:06:12 +0100 | nipkow | Removed dangling exception handler | changeset | files |