Theory CAVA_Base.Code_String

(*
 * Code setup for native strings.
 * Author: René Neumann <rene.neumann@in.tum.de>
 *)
theory Code_String
imports
  (*"HOL-Library.List_lexord"*)
  Collections.Refine_Dflt      
begin

end