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