Theory IICF

section ‹The Imperative Isabelle Collection Framework›
theory IICF
imports        
  (* Sets *)
  "Intf/IICF_Set"
 (* "Impl/IICF_List_SetO" *)
(*
  (* Multisets *)
  "Intf/IICF_Multiset"
  "Intf/IICF_Prio_Bag"

  "Impl/IICF_List_Mset"
  "Impl/IICF_List_MsetO"

  "Impl/Heaps/IICF_Impl_Heap"

  (* Maps *)
  "Intf/IICF_Map"
  "Intf/IICF_Prio_Map"

  "Impl/Heaps/IICF_Impl_Heapmap"
*)
  (* Lists *)
  "Intf/IICF_List"

 (* "Impl/IICF_Array" *)
(*
  "Impl/IICF_HOL_List"
  "Impl/IICF_Array_List"
  "Impl/IICF_Indexed_Array_List"
  "Impl/IICF_MS_Array_List"
*)
  (* Matrix *)
  "Intf/IICF_Matrix"

  "Impl/IICF_Array_Matrix"
(*
  (* Imports from Sep-Logic Entry*)
  "Impl/IICF_Sepl_Binding"
*)
begin
  thy_deps
end