src/HOL/Data_Structures/RBT_Set.thy
2015-11-15 nipkow 2015-11-15 tuned white space
2015-11-05 nipkow 2015-11-05 tuned
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-10-13 nipkow 2015-10-13 added invar empty
2015-09-23 nipkow 2015-09-23 tuned
2015-09-22 nipkow 2015-09-22 added red black trees