Fri, 09 Dec 2005 12:38:49 +0100 | urbanc | tuned | file | diff | annotate |
Sun, 04 Dec 2005 12:40:39 +0100 | urbanc | tuned | file | diff | annotate |
Sun, 04 Dec 2005 12:14:27 +0100 | urbanc | added an Isar-proof for the abs_ALL lemma | file | diff | annotate |
Thu, 01 Dec 2005 06:28:41 +0100 | urbanc | initial cleanup to use the new induction method | 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 |