| Tue, 24 Jun 2003 16:32:59 +0200 | paulson | Converting ZF/UNITY to Isar | changeset | files |
| Tue, 24 Jun 2003 10:42:34 +0200 | berghofe | Added new theories StrongNorm and WeakNorm to Lambda example. | changeset | files |
| Tue, 24 Jun 2003 10:41:53 +0200 | berghofe | Bibliography file with paper by Matthes and Joachimski. | changeset | files |
| Tue, 24 Jun 2003 10:41:13 +0200 | berghofe | Added bibliography. | changeset | files |
| Tue, 24 Jun 2003 10:39:46 +0200 | berghofe | Added new theories WeakNorm and StrongNorm. | changeset | files |
| Tue, 24 Jun 2003 10:39:14 +0200 | berghofe | Added lift_map and subst_map. | changeset | files |
| Tue, 24 Jun 2003 10:38:40 +0200 | berghofe | Nicer syntax for beta reduction. | changeset | files |
| Tue, 24 Jun 2003 10:37:57 +0200 | berghofe | Moved strong normalization proof to StrongNorm.thy | changeset | files |