| Mon, 04 Aug 2008 17:13:33 +0200 | wenzelm | Isar.command: explicitly set transaction position, as required for prepare_command errors; | changeset | files |
| Mon, 04 Aug 2008 10:37:33 +0200 | ballarin | Updated locale tests. | changeset | files |
| Fri, 01 Aug 2008 18:10:52 +0200 | ballarin | Generalised polynomial lemmas from cring to ring. | changeset | files |
| Fri, 01 Aug 2008 17:41:37 +0200 | ballarin | Removed import and lparams from locale record. | changeset | files |
| Fri, 01 Aug 2008 12:57:50 +0200 | nipkow | made setsum executable on int. | changeset | files |
| Thu, 31 Jul 2008 09:49:21 +0200 | ballarin | Tuned (for the sake of a meaningless log entry). | changeset | files |
| Wed, 30 Jul 2008 19:03:33 +0200 | ballarin | New locales for orders and lattices where the equivalence relation is not restricted to equality. | changeset | files |