| 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 |