✐‹creator "Kevin Kappelmann"› section ‹Term Index Data› theory Generic_Term_Index_Data imports ML_Unification.ML_Functor_Instances ML_Unification.ML_General_Utils ML_Unification.ML_Logger ML_Unification.ML_Term_Index SpecCheck.SpecCheck_Show begin ML_file‹generic_term_index_data.ML› end