Theory Basic_Main

theory Basic_Main
imports Main
  "HOL-Library.Sublist"
  "HOL-Library.Transitive_Closure_Table"
  "HOL-Library.Predicate_Compile_Alternative_Defs"
  "HOL-Library.Dlist"
  Set_without_equal
  Set_Monad
  Coinductive.Lazy_TLList

  (*
  "../../Collections/impl/ListSetImpl_Invar"
  "../../Collections/impl/RBTSetImpl"
  "../../Collections/impl/TrieMapImpl"
  "../../Collections/impl/ListMapImpl"
  "../../Collections/impl/Fifo"
  *)
  "../Basic/JT_ICF"
  
  Auxiliary
begin

end