| Tue, 19 Sep 2006 15:22:21 +0200 | haftmann | added OperationalEquality.thy | changeset | files |
| Tue, 19 Sep 2006 15:22:05 +0200 | haftmann | code generation 2 adjustments | changeset | files |
| Tue, 19 Sep 2006 15:22:03 +0200 | haftmann | (void) | changeset | files |
| Tue, 19 Sep 2006 15:21:58 +0200 | haftmann | improved numeral handling for nbe | changeset | files |
| Tue, 19 Sep 2006 15:21:55 +0200 | haftmann | added suspensions in Pure | changeset | files |
| Tue, 19 Sep 2006 15:21:52 +0200 | haftmann | added some stuff for code generation 2 | changeset | files |
| Tue, 19 Sep 2006 15:21:51 +0200 | haftmann | dropped error-prone code generation 2 for wfrec | changeset | files |