| Thu, 02 Mar 2006 16:01:06 +0100 |
urbanc |
fixed the bugs itroduced by the previous commit
|
file |
diff |
annotate
|
| Thu, 02 Mar 2006 15:43:22 +0100 |
urbanc |
made some small changes to generate nicer latex-output
|
file |
diff |
annotate
|
| 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
|