| Tue, 24 Oct 2006 12:02:53 +0200 | urbanc | adapted to Stefan's new inductive package | file | diff | annotate |
| Tue, 10 Oct 2006 16:26:59 +0200 | urbanc | made some proof look more like the ones in Barendregt | file | diff | annotate |
| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Fri, 28 Apr 2006 15:58:30 +0200 | berghofe | Capitalized theory names. | file | diff | annotate |
| Thu, 27 Apr 2006 01:41:30 +0200 | urbanc | isar-keywords.el | file | diff | annotate |
| Thu, 02 Mar 2006 16:01:06 +0100 | urbanc | fixed the bugs itroduced by the previous commit | file | diff | annotate |