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 |