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