Theory ICF_Spec_Base

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

end