✐‹creator "Kevin Kappelmann"› subsection ‹Cases› theory Cases_Tactics imports ML_Unification.ML_Tactic_Utils Zippy_ML_Tactic_Utils begin ML_file‹cases_tactic.ML› ML_file‹cases_data.ML› end