src/Provers/Arith/combine_numerals.ML
changeset 71220 6f8422385878
parent 70527 095e6459d3da
child 78800 0b3700d31758