| Tue, 24 Jun 2003 10:37:57 +0200 | berghofe | Moved strong normalization proof to StrongNorm.thy | changeset | files |
| Tue, 24 Jun 2003 10:37:12 +0200 | berghofe | New proof of weak normalization with program extraction. | changeset | files |
| Sun, 22 Jun 2003 01:06:46 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 20 Jun 2003 18:13:16 +0200 | paulson | conversion of ClientImpl to Isar script | changeset | files |
| Fri, 20 Jun 2003 12:10:45 +0200 | paulson | Adding the theory UNITY/AllocImpl.thy, with supporting lemmas | changeset | files |
| Thu, 19 Jun 2003 18:40:39 +0200 | paulson | inserted TUM in other places | changeset | files |
| Mon, 16 Jun 2003 17:48:43 +0200 | paulson | added TUM | changeset | files |