removed obsolete domain/interface.ML, IOA/meta_theory/ioa_package.ML;
removed obsolete domain/interface.ML, IOA/meta_theory/ioa_package.ML;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle