src/HOL/Library/Tree.thy
2016-01-19 nipkow 2016-01-19 added lemma
2016-01-13 nipkow 2016-01-13 tuned layout
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-07-28 nipkow 2015-07-28 depth -> height; removed del_rightmost (too specifi)
2015-06-17 nipkow 2015-06-17 tuned
2015-06-17 nipkow 2015-06-17 merged
2015-06-17 nipkow 2015-06-17 added funs and lemmas
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-04-06 nipkow 2015-04-06 new theory Library/Tree_Multiset.thy
2015-03-23 nipkow 2015-03-23 added funs and lemmas
2015-02-21 nipkow 2015-02-21 added new tree material
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-28 haftmann 2014-09-28 moved to HOL and generalized
2014-09-25 nipkow 2014-09-25 added function size1
2014-09-24 nipkow 2014-09-24 added nice standard syntax
2014-09-11 blanchet 2014-09-11 updated news
2014-07-25 nipkow 2014-07-25 added more functions and lemmas
2014-07-17 hoelzl 2014-07-17 register tree with datatype_compat ot support QuickCheck
2014-07-07 nipkow 2014-07-07 added lemma
2014-07-01 hoelzl 2014-07-01 Library/Tree: bst is preferred to be a function
2014-07-01 hoelzl 2014-07-01 Library/Tree: use datatype_new, bst is an inductive predicate
2014-06-12 nipkow 2014-06-12 new theory of binary trees
2010-02-18 haftmann 2010-02-18 drop code lemma for ordered_keys
2010-02-17 haftmann 2010-02-17 adjusted to changes in theory Mapping
2009-06-04 haftmann 2009-06-04 added trees implementing mappings