| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Sun, 02 Jul 2006 17:27:10 +0200 | urbanc | added more infrastructure for the recursion combinator | file | diff | annotate |
| Fri, 28 Apr 2006 15:58:30 +0200 | berghofe | Capitalized theory names. | file | diff | annotate |
| Wed, 11 Jan 2006 17:07:57 +0100 | urbanc | tuned proofs | file | diff | annotate |
| Wed, 11 Jan 2006 14:00:11 +0100 | urbanc | tuned the eqvt-proof | file | diff | annotate |
| Mon, 05 Dec 2005 17:02:20 +0100 | urbanc | tuned | file | diff | annotate |
| Mon, 05 Dec 2005 10:33:30 +0100 | urbanc | tuned | file | diff | annotate |
| Sun, 04 Dec 2005 12:14:40 +0100 | urbanc | tuned | file | diff | annotate |
| Thu, 01 Dec 2005 04:46:17 +0100 | urbanc | changed "fresh:" to "avoiding:" and cleaned up the weakening example | file | diff | annotate |
| Wed, 30 Nov 2005 14:27:09 +0100 | urbanc | adapted to the new nominal_induction | file | diff | annotate |
| Mon, 28 Nov 2005 05:03:00 +0100 | urbanc | some small tuning | file | diff | annotate |
| Mon, 07 Nov 2005 15:12:13 +0100 | urbanc | Initial commit of the theory "Weakening". | file | diff | annotate |