Theory Collection_Autoref_Examples_Chapter

(*<*)
theory Collection_Autoref_Examples_Chapter imports Main begin 
(*>*)
text_raw ‹\isasection{Automatic Refinement}›
text ‹
  This section contains examples of using the Collection Framework 
  with the Automatic Refinement Framework.
›
(*<*)
end
(*>*)