Theory Refine_Chapter

Up to index of Isabelle/HOL/Collections/Refine_Monadic

theory Refine_Chapter
imports Main

header {*\chapter{Refinement Framework}*}
(*<*)
theory Refine_Chapter
imports Main
begin
end
(*>*)