Wed, 01 Feb 2006 01:05:17 +0100 | urbanc | - renamed some lemmas (some had names coming from ancient | file | diff | annotate |
Tue, 24 Jan 2006 13:28:06 +0100 | urbanc | the additional freshness-condition in the one-induction | file | diff | annotate |
Wed, 11 Jan 2006 18:38:32 +0100 | urbanc | changes to make use of the new induction principle proved by | file | diff | annotate |
Fri, 09 Dec 2005 12:38:49 +0100 | urbanc | tuned | file | diff | annotate |
Sun, 04 Dec 2005 12:14:03 +0100 | urbanc | tuning | file | diff | annotate |
Thu, 01 Dec 2005 05:20:13 +0100 | urbanc | cleaned up further the proofs (diamond still needs work); | file | diff | annotate |
Wed, 30 Nov 2005 17:56:08 +0100 | urbanc | modified almost everything for the new nominal_induct | file | diff | annotate |
Mon, 28 Nov 2005 05:03:00 +0100 | urbanc | some small tuning | file | diff | annotate |
Mon, 07 Nov 2005 15:19:03 +0100 | urbanc | Initial commit. | file | diff | annotate |