Theory Collections_Entrypoints_Chapter

(*<*)
theory Collections_Entrypoints_Chapter imports Main begin 
(*>*)
text_raw ‹\isachapter{Entry Points}›
text_raw ‹\isasection{Entry Points}›
text ‹
  This chapter describes the overall entrypoints to the combination of
  Automatic Refinement Framework, Monadic Refinement Framework, and 
  Collection Framework. These are the theories a typical algorithm development
  should be based on.
›

(*<*)
end
(*>*)