| Tue, 01 Sep 2009 15:39:33 +0200 | haftmann | some reorganization of number theory | file | diff | annotate |
| Tue, 07 Jul 2009 20:16:06 +0200 | wenzelm | fixed proof (cf. 40501bb2d57c); | file | diff | annotate |
| Sun, 22 Feb 2009 09:52:28 +0100 | nipkow | name fix | file | diff | annotate |
| Sun, 24 Aug 2008 14:42:24 +0200 | haftmann | default replaces arbitrary | file | diff | annotate |
| Fri, 25 Jan 2008 23:50:33 +0100 | wenzelm | modernized primrec; | file | diff | annotate |
| Tue, 18 Dec 2007 00:17:00 +0100 | wenzelm | split_primel: salvaged original proof after blow with sledghammer | file | diff | annotate |
| Tue, 13 Nov 2007 10:58:46 +0100 | berghofe | New case studies for program extraction. | file | diff | annotate |