Theory ML_Unification.ML_Unification_Parsers

✐‹creator "Kevin Kappelmann"›
section ‹Unification Parsers›
theory ML_Unification_Parsers
  imports
    ML_Parsing_Utils
begin

paragraph ‹Summary›
text ‹Common parsers needed for unification attributes, tactics, methods.›

ML_file‹unification_parser.ML›

end