src/HOL/Data_Structures/Tree234_Map.thy
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-10-25 nipkow 2015-10-25 added 234-trees (slow)