✐‹creator "Kevin Kappelmann"› section ‹ML Method Utils› theory ML_Method_Utils imports Pure begin paragraph ‹Summary› text ‹Utilities for methods.› ML_file‹method_util.ML› end