header {*\chapter{Examples}*}
(*<*)
theory Example_Chapter
imports Main
begin
(*>*)

text {*
  This chapter contains some examples of using the Refinement Framework.
  Examples of how to use data refinement to collection data structures can
  be found in the examples directory of the Isabelle Collection Framework.
*}

(*<*)
end
(*>*)
