(* 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