| Fri, 31 Oct 2008 10:37:34 +0100 | berghofe | Removed argument prf2 in rewrite rules for equal_elim to make them applicable | changeset | files |
| Fri, 31 Oct 2008 10:35:30 +0100 | berghofe | Replaced arbitrary by undefined. | changeset | files |
| Thu, 30 Oct 2008 10:57:45 +0100 | ballarin | Dropped context element 'includes'. | changeset | files |
| Wed, 29 Oct 2008 15:32:58 +0100 | haftmann | adapted to strict pattern discipline | changeset | files |
| Wed, 29 Oct 2008 11:33:40 +0100 | haftmann | explicit check for pattern discipline before code translation | changeset | files |
| Tue, 28 Oct 2008 17:53:46 +0100 | ballarin | Revoked workaround (incompatible with HOL/ex/LocaleTest2.thy). | changeset | files |
| Tue, 28 Oct 2008 16:59:02 +0100 | haftmann | restored incremental code generation | changeset | files |