Theory Collections.Code_Target_ICF

section ‹Default Code Generator Setup for the Isabelle Collection Framework›
theory Code_Target_ICF
imports   
  "HOL-Library.Code_Target_Numeral"
  Native_Word.Code_Target_Int_Bit
begin

end