✐‹creator "Kevin Kappelmann"› section ‹ML Attribute Utils› theory ML_Attribute_Utils imports ML_Term_Utils begin paragraph ‹Summary› text ‹Utilities for attributes.› ML_file‹attribute_util.ML› end