(* Title: Containers/Containers.thy Author: Andreas Lochbihler, KIT *) theory Containers imports Set_Linorder Collection_Order Collection_Eq Collection_Enum Equal Mapping_Impl Map_To_Mapping begin end