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