Theory ML_Attribute_Utils

✐‹creator "Kevin Kappelmann"›
section ‹ML Attribute Utils›
theory ML_Attribute_Utils
  imports
    Pure
begin

paragraph ‹Summary›
text ‹Utilities for attributes.›

ML_file‹attribute_util.ML›

end