src/HOL/Data_Structures/AVL_Map.thy
10 months ago nipkow 2018-06-13 qualify interpretations to avoid clashes
10 months ago nipkow 2018-06-12 more abstract naming
10 months ago nipkow 2018-06-12 proved avl for map (finally); tuned
10 months ago nipkow 2018-06-11 tuned order of arguments
12 months ago nipkow 2018-04-23 del_max -> split_max
15 months ago wenzelm 2018-01-12 isabelle update_cartouches -c;
2016-07-07 nipkow 2016-07-07 got rid of class cmp; added height-size proofs by Daniel Stuewe
2015-12-05 nipkow 2015-12-05 avoid name clashes
2015-11-16 nipkow 2015-11-16 tuned names
2015-11-13 nipkow 2015-11-13 tuned name
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-09-23 nipkow 2015-09-23 added AVL and lookup function