Theory Sepref_Chapter_IICF

chapter ‹The Imperative Isabelle Collection Framework›
text ‹The Imperative Isabelle Collection Framework provides 
  efficient imperative implementations of collection data structures.
›
(*<*)
theory Sepref_Chapter_IICF
imports Main
begin
end
(*>*)