src/HOL/ex/BT.thy
Tue, 30 Jul 1996 18:05:22 +0200 berghofe Simplified primrec - definitions.
Mon, 05 Feb 1996 21:29:06 +0100 clasohm expanded tabs; incorporated Konrad's changes
Fri, 01 Dec 1995 12:03:13 +0100 clasohm removed quotes from consts and syntax sections
Thu, 29 Jun 1995 16:16:24 +0200 lcp New theory and proofs including preorder, inorder, ..., initially
less more (0) tip