src/HOL/ex/BT.thy
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2012-10-19 webertj 2012-10-19 Renamed {left,right}_distrib to distrib_{right,left}.
2010-09-08 haftmann 2010-09-08 modernized primrec
2007-06-04 haftmann 2007-06-04 reverted appnd to append
2007-05-19 haftmann 2007-05-19 eliminated name clash with List.append
2006-09-26 paulson 2006-09-26 fixed the definition of "depth"
2006-05-01 paulson 2006-05-01 a few more examples
2006-04-27 paulson 2006-04-27 some new functions
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-02-01 wenzelm 2001-02-01 converted to new-style theories;
2000-03-04 paulson 2000-03-04 tidied
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1996-07-30 berghofe 1996-07-30 Simplified primrec - definitions.
1996-02-05 clasohm 1996-02-05 expanded tabs; incorporated Konrad's changes
1995-12-01 clasohm 1995-12-01 removed quotes from consts and syntax sections
1995-06-29 lcp 1995-06-29 New theory and proofs including preorder, inorder, ..., initially from ZF/ex/BT. Demonstrates datatypes and primrec.