| Wed, 01 Mar 2006 10:37:00 +0100 |
urbanc |
some small tunings
|
file |
diff |
annotate
|
| Mon, 23 Jan 2006 15:14:06 +0100 |
urbanc |
made change for ex1
|
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
|
| Wed, 07 Dec 2005 12:33:38 +0100 |
urbanc |
tuned
|
file |
diff |
annotate
|
| Sun, 04 Dec 2005 12:25:57 +0100 |
urbanc |
tuned
|
file |
diff |
annotate
|
| Wed, 30 Nov 2005 15:30:08 +0100 |
urbanc |
fixed the lemma where the new names generated by nominal_induct
|
file |
diff |
annotate
|
| Wed, 30 Nov 2005 15:27:30 +0100 |
urbanc |
added one clause for substitution in the lambda-case and
|
file |
diff |
annotate
|
| Wed, 30 Nov 2005 15:03:15 +0100 |
urbanc |
changed induction principle and everything to conform with the
|
file |
diff |
annotate
|
| Tue, 29 Nov 2005 19:26:38 +0100 |
urbanc |
changed the order of the induction variable and the context
|
file |
diff |
annotate
|
| Mon, 28 Nov 2005 05:03:00 +0100 |
urbanc |
some small tuning
|
file |
diff |
annotate
|
| Sun, 27 Nov 2005 04:59:20 +0100 |
urbanc |
cleaned up all examples so that they work with the
|
file |
diff |
annotate
|
| Mon, 07 Nov 2005 15:19:03 +0100 |
urbanc |
Initial commit.
|
file |
diff |
annotate
|