| Tue, 08 Aug 2000 13:23:45 +0200 | berghofe | Deleted unneeded proof; simplified proof of app_last. | file | diff | annotate |
| Sun, 09 Jul 2000 16:01:42 +0200 | berghofe | Tuned proof. | file | diff | annotate |
| Mon, 26 Jun 2000 16:52:55 +0200 | wenzelm | bind_thm; | file | diff | annotate |
| Fri, 23 Jun 2000 12:24:37 +0200 | berghofe | Subject reduction and strong normalization of simply-typed lambda terms. | file | diff | annotate |