Theory ICF_Examples_Chapter

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