| Mon, 27 Nov 2006 12:11:43 +0100 | berghofe | Adapted to new nominal_primrec command. | file | diff | annotate |
| Mon, 23 Oct 2006 00:51:16 +0200 | berghofe | Adapted to changes in FCBs. | file | diff | annotate |
| Tue, 10 Oct 2006 16:26:59 +0200 | urbanc | made some proof look more like the ones in Barendregt | file | diff | annotate |
| Tue, 19 Sep 2006 15:31:25 +0200 | urbanc | this file contains a compile-challenge suggested by Adam Chlipala; | file | diff | annotate |