✐‹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