src/HOL/Data_Structures/Tree234_Map.thy
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-12-05 nipkow 2015-12-05 avoid name clashes
2015-11-16 nipkow 2015-11-16 tuned names
2015-11-11 nipkow 2015-11-11 no CRLF
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-10-25 nipkow 2015-10-25 added 234-trees (slow)