Theory ML_Attributes

✐‹creator "Kevin Kappelmann"›
section ‹ML Attributes›
theory ML_Attributes
  imports ML_Code_Utils
begin

paragraph ‹Summary›
text ‹ML code as attributes.›

ML_file‹ml_attribute.ML›

end