src/HOL/Data_Structures/Tree234_Set.thy
12 months ago nipkow 2018-06-13 qualify interpretations to avoid clashes
12 months ago nipkow 2018-06-12 more abstract naming
13 months ago nipkow 2018-05-08 new def of sorted and sorted_wrt
14 months ago nipkow 2018-04-21 del_min -> split_min
14 months ago nipkow 2018-04-08 more name tuning
14 months ago nipkow 2018-04-08 better name; added binary operations
15 months ago nipkow 2018-03-23 eliminated "elems"
17 months ago wenzelm 2018-01-12 isabelle update_cartouches -c;
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-19 nipkow 2015-11-19 tuned and converted to cmp
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-10-25 nipkow 2015-10-25 added 234-trees (slow)