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 |