src/Provers/Arith/cancel_sums.ML
changeset 41648 6d736d983d5c
parent 38052 04a8de29e8f7
child 42361 23f352990944