Theory Collections

(*  Title:       Isabelle Collections Library
    Author:      Peter Lammich <peter dot lammich at uni-muenster.de>
    Maintainer:  Peter Lammich <peter dot lammich at uni-muenster.de>
*)
section ‹\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