(*<*) theory Sep_Examples imports Sep_Main "Examples/Imp_List_Spec" "Examples/List_Seg" "Examples/Open_List" "Examples/Circ_List" "Examples/Imp_Map_Spec" "Examples/Hash_Map_Impl" "Examples/Array_Map_Impl" "Examples/Imp_Set_Spec" "Examples/Hash_Set_Impl" "Examples/Array_Set_Impl" "Examples/To_List_GA" "Examples/From_List_GA" "Examples/Union_Find" "Examples/Idioms" begin end (*>*)