Theory Refine

header {*\isaheader{Refinement Framework}*}
theory Refine
imports 
  Refine_Chapter
  Refine_Basic 
  Refine_Heuristics 
  Refine_While 
  Refine_Foreach 
  Refine_Transfer
  Refine_Pfun
  Refine_Autoref
begin
  text {*
    This theory summarizes all default theories of the refinement framework.
    *}

end