Theory ML_Binders

✐‹creator "Kevin Kappelmann"›
section ‹ML-Binders›
theory ML_Binders
  imports
    ML_General_Utils
    ML_Normalisations
begin

paragraph ‹Summary›
text ‹Binders for ML.›

ML_file‹binders.ML›

end