| Fri, 13 Oct 2006 16:52:49 +0200 | haftmann | refined | changeset | files |
| Fri, 13 Oct 2006 16:52:48 +0200 | haftmann | fixed bug | changeset | files |
| Fri, 13 Oct 2006 16:52:47 +0200 | haftmann | tuned | changeset | files |
| Fri, 13 Oct 2006 16:52:46 +0200 | haftmann | added codegen2 example | changeset | files |
| Fri, 13 Oct 2006 15:01:34 +0200 | urbanc | added the missing freshness-lemmas for nat, int, char and string and | changeset | files |
| Fri, 13 Oct 2006 12:32:44 +0200 | haftmann | lifted claset setup from ML to Isar level | changeset | files |
| Fri, 13 Oct 2006 09:02:21 +0200 | haftmann | explicit nonfix for union and inter | changeset | files |