src/HOL/Data_Structures/AA_Set.thy
2016-01-13 nipkow 2016-01-13 tuned layout
2016-01-11 nipkow 2016-01-11 added AA_Map; tuned titles
2015-12-06 nipkow 2015-12-06 added AA trees