| Wed, 08 Sep 2010 19:21:46 +0200 | haftmann | modernized primrec | file | diff | annotate |
| Mon, 04 Jun 2007 15:43:32 +0200 | haftmann | reverted appnd to append | file | diff | annotate |
| Sat, 19 May 2007 11:33:28 +0200 | haftmann | eliminated name clash with List.append | file | diff | annotate |
| Tue, 26 Sep 2006 11:11:57 +0200 | paulson | fixed the definition of "depth" | file | diff | annotate |
| Mon, 01 May 2006 18:10:18 +0200 | paulson | a few more examples | file | diff | annotate |
| Thu, 27 Apr 2006 12:09:32 +0200 | paulson | some new functions | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 01 Feb 2001 20:51:13 +0100 | wenzelm | converted to new-style theories; | file | diff | annotate |
| Sat, 04 Mar 2000 11:52:42 +0100 | paulson | tidied | file | diff | annotate |
| Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Tue, 30 Jul 1996 18:05:22 +0200 | berghofe | Simplified primrec - definitions. | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Fri, 01 Dec 1995 12:03:13 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
| Thu, 29 Jun 1995 16:16:24 +0200 | lcp | New theory and proofs including preorder, inorder, ..., initially | file | diff | annotate |