| Thu, 21 Jun 2007 22:10:16 +0200 | wenzelm | tuned proofs -- avoid implicit prems; | file | diff | annotate |
| Thu, 14 Jun 2007 23:04:36 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Thu, 31 May 2007 14:47:20 +0200 | urbanc | introduced symmetric variants of the lemmas for alpha-equivalence | file | diff | annotate |