src/HOL/Data_Structures/Tree23_Set.thy
19 months ago nipkow 2017-11-09 tuned
2016-08-09 nipkow 2016-08-09 introduced aggressive splitter "split!"
2016-07-07 nipkow 2016-07-07 got rid of class cmp; added height-size proofs by Daniel Stuewe
2016-01-11 nipkow 2016-01-11 added AA_Map; tuned titles
2015-11-20 nipkow 2015-11-20 tuned
2015-11-15 nipkow 2015-11-15 tuned white space
2015-11-11 nipkow 2015-11-11 no CRLF
2015-11-05 nipkow 2015-11-05 tuned
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-11-02 nipkow 2015-11-02 tuned names and optimized comparison order
2015-10-25 nipkow 2015-10-25 tuned
2015-10-18 nipkow 2015-10-18 added 2-3 trees (simpler and more complete than the version in ex/Tree23)