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