Theory Containers

theory Containers
imports Map_To_Mapping
(*  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