Theory Examples_Chapter

(*<*)
theory Examples_Chapter imports Main begin 
(*>*)
text_raw ‹\isachapter{Examples}›
text ‹
  This chapter contains various usage examples.
  The examples vary from small snippets to fully-fledged algorithm 
  developments.
›
(*<*)
end
(*>*)