✐‹creator "Kevin Kappelmann"› subsection ‹Blast› theory Extended_Blast_Data imports HOL.HOL ML_Unification.ML_Functor_Instances ML_Unification.ML_Logger SpecCheck.SpecCheck_Show begin ML_file‹extended_blast_data.ML› end