theory ICF_Spec_Base imports "../../Iterator/Iterator" "../tools/Record_Intf" "../tools/Locale_Code" begin end