src/HOL/Data_Structures/Tree234_Map.thy
2015-10-25 nipkow 2015-10-25 added 234-trees (slow)