Theory Collection_Examples

(*<*)
theory Collection_Examples
imports
  "Autoref/Collection_Autoref_Examples"
  "ICF/ICF_Examples" 
  "Refine_Monadic/Refine_Monadic_Examples"
begin


end
(*>*)