src/HOL/Data_Structures/RBT_Map.thy
13 months ago nipkow 2018-06-11 tuned def. of del and proved preservation of rbt (finally)
13 months ago nipkow 2018-06-11 tuned order of arguments
2017-01-28 nipkow 2017-01-28 split balance into two, clearer etc
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-27 nipkow 2015-11-27 paint root black after insert and delete
2015-11-16 nipkow 2015-11-16 tuned names
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-09-23 nipkow 2015-09-23 tuned
2015-09-22 nipkow 2015-09-22 added red black trees