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