(*  Title:       Isabelle Collections Library
    Author:      Peter Lammich <peter dot lammich at uni-muenster.de>
    Maintainer:  Peter Lammich <peter dot lammich at uni-muenster.de>
*)
header {* \isaheader{Standard Collections} *}
theory Collections
imports
  ICF_Impl
  ICF_Refine_Monadic
  ICF_Autoref
(* Miscellanneous*)
  DatRef

begin
  text {*
    This theory summarizes the components of the Isabelle Collection Framework.
    *}
end
