header {* Default Code Generator Setup for the Isabelle Collection Framework *}
theory Code_Target_ICF
imports   
  "~~/src/HOL/Library/Code_Target_Numeral"
  "../../Native_Word/Code_Target_Bits_Int"
begin

end
