✐‹creator "Kevin Kappelmann"› subsection ‹Simplifier› theory Extended_Simp_Data imports ML_Unification.ML_Functor_Instances ML_Unification.ML_Logger begin ML_file‹extended_simp_data.ML› end