Theory GenCF_Chapter

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