src/Provers/Arith/cancel_numerals.ML
changeset 10220 2a726de6e124
parent 9546 be095014e72f
child 13484 d8f5d3391766