src/HOL/ex/BT.ML
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-06-29 lcp 1995-06-29 New theory and proofs including preorder, inorder, ..., initially from ZF/ex/BT. Demonstrates datatypes and primrec.