src/Provers/Arith/combine_numerals.ML
changeset 68743 91162dd89571
parent 61144 5e94dfead1c2
child 70315 2f9623aa1eeb
equal deleted inserted replaced
68739:0c62e3b4f4c0 68743:91162dd89571