(*<*)
theory ICF_Examples_Chapter imports Main begin 
(*>*)
text_raw {* \isasection{Isabelle Collection Framework} *}
text {*
  This section contains examples of using the original 
  Isabelle Collection Framework without the Refinement Framework.
*}
(*<*)
end
(*>*)
