src/HOL/Data_Structures/Set_by_Ordered.thy
2015-09-21 nipkow 2015-09-21 New subdirectory for functional data structures