Theory ML_Unification.ML_Theorem_Utils

✐‹creator "Kevin Kappelmann"›
section ‹ML Theorem Utils›
theory ML_Theorem_Utils
  imports ML_Logger
begin

paragraph ‹Summary›
text ‹Utilities for theorems.›

ML_file‹thm_util.ML›

end