✐‹creator "Kevin Kappelmann"› section ‹Customisable Context Parser› theory Context_Parsers imports ML_Unification.ML_Generic_Data_Utils begin ML_file‹context_parsers.ML› end