(*<*)
theory GenCF_Chapter imports Main begin 
(*>*)
text_raw {* \isachapter{The Generic Collection Framework} *}

text {*
  The Generic Collection Framework is build on top of the 
  Automatic Refinement Framework. It contains set and map datastructures that
  are fully nestable, and a library of generic algorithms that are 
  automatically instantiated on demand.
*}

(*<*)
end
(*>*)