Theory ML_Unification.ML_Term_Utils

✐‹creator "Kevin Kappelmann"›
section ‹ML Term Utils›
theory ML_Term_Utils
  imports ML_Binders
begin

paragraph ‹Summary›
text ‹Utilities for terms.›

ML_file‹term_util.ML›

end