| 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 |
| Fri, 25 May 2007 06:06:49 +0200 | urbanc | adapted to fix for fresh_fun_simp | file | diff | annotate |
| Thu, 24 May 2007 13:59:54 +0200 | urbanc | temporary fix for a bug in fresh_fun_simp | file | diff | annotate |
| Thu, 24 May 2007 12:09:38 +0200 | urbanc | formalisation of my PhD (the result was correct, but the proof needed several corrections) | file | diff | annotate |
| Wed, 28 Mar 2007 19:16:11 +0200 | berghofe | - Renamed <predicate>_eqvt to <predicate>.eqvt | file | diff | annotate |