| Thu, 21 Jun 2007 22:10:16 +0200 | wenzelm | tuned proofs -- avoid implicit prems; | file | diff | annotate |
| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Mon, 04 Jun 2007 13:22:22 +0200 | urbanc | added a few comments to the proofs | file | diff | annotate |
| Thu, 31 May 2007 09:48:20 +0200 | urbanc | a theory using locally nameless terms and strong induction principles | file | diff | annotate |