Theory ML_Unification.ML_Priorities

✐‹creator "Kevin Kappelmann"›
section ‹Priorities›
theory ML_Priorities
  imports ML_Parsing_Utils
begin

paragraph ‹Summary›
text ‹Priorities for ML tactics.›

ML_file‹priority.ML›

end