| Wed, 11 Jan 2006 17:07:57 +0100 | urbanc | tuned proofs | file | diff | annotate |
| Sat, 07 Jan 2006 13:50:38 +0100 | urbanc | another change for the new induct-method | file | diff | annotate |
| Sat, 07 Jan 2006 11:36:58 +0100 | urbanc | changed PRO_RED proof to conform with the new induction rules | file | diff | annotate |
| Sun, 11 Dec 2005 11:57:01 +0100 | urbanc | ISAR-fied some proofs | file | diff | annotate |
| Sun, 11 Dec 2005 01:21:26 +0100 | urbanc | completed the sn proof and changed the manual | file | diff | annotate |
| 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 |