| Mon, 02 Jul 2007 23:14:06 +0200 | nipkow | Added pattern maatching for lambda abstraction | changeset | files |
| Mon, 02 Jul 2007 16:42:37 +0200 | paulson | revised the discussion of type classes | changeset | files |
| Mon, 02 Jul 2007 10:43:20 +0200 | chaieb | Generic QE need no Context anymore | changeset | files |
| Mon, 02 Jul 2007 10:43:19 +0200 | chaieb | Handle exception TYPE | changeset | files |
| Mon, 02 Jul 2007 10:43:17 +0200 | chaieb | Tuned proofs | changeset | files |
| Sat, 30 Jun 2007 17:30:10 +0200 | obua | added ordered_ring and ordered_semiring | changeset | files |
| Fri, 29 Jun 2007 21:23:05 +0200 | haftmann | tuned arithmetic modules | changeset | files |