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 |
Tue, 24 Jun 2003 10:37:12 +0200 | berghofe | New proof of weak normalization with program extraction. | changeset | files |