| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Thu, 08 Dec 2005 20:15:50 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 30 Sep 2002 15:44:21 +0200 | nipkow | modified induct method | file | diff | annotate |
| Sun, 09 Dec 2001 15:26:13 +0100 | kleing | tuned | file | diff | annotate |
| Sun, 09 Dec 2001 14:35:36 +0100 | kleing | converted to Isar | file | diff | annotate |
| Tue, 04 Jul 2000 10:54:46 +0200 | oheimb | disambiguated := ; added Examples (factorial) | file | diff | annotate |