src/Provers/Arith/combine_numerals.ML
changeset 66787 64b47495676d
parent 61144 5e94dfead1c2
child 70315 2f9623aa1eeb