src/HOL/Mirabelle/Tools/mirabelle_arith.ML
changeset 41741 839d1488045f
parent 32567 de411627a985
equal deleted inserted replaced
41740:4b09f8b9e012 41741:839d1488045f