✐‹creator "Kevin Kappelmann"› section ‹ML Tactic Utils› theory ML_Tactic_Utils imports ML_Logger ML_Term_Utils ML_Conversion_Utils ML_Unification_Base begin paragraph ‹Summary› text ‹Utilities for tactics.› ML_file‹tactic_util.ML› end