| Tue, 30 Aug 2011 18:12:48 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Thu, 09 Jul 2009 22:09:58 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Fri, 18 Apr 2008 23:49:40 +0200 | wenzelm | modernized specifications and proofs; | file | diff | annotate |
| Sun, 27 Jan 2008 20:04:30 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Wed, 05 Dec 2001 03:06:05 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 Oct 2001 00:30:53 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 12 Oct 2001 12:06:23 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 05 Oct 2001 21:42:10 +0200 | wenzelm | induct: case names; | file | diff | annotate |
| Thu, 04 Oct 2001 15:29:22 +0200 | wenzelm | unsymbolized; | file | diff | annotate |
| Thu, 04 Oct 2001 15:25:31 +0200 | wenzelm | Theory of the natural numbers: Peano's axioms, primitive recursion. | file | diff | annotate |