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 |