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