src/Provers/Arith/cancel_sums.ML
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-02 wenzelm 1997-12-02 adapted to new term order;
1997-11-26 wenzelm 1997-11-26 Cancel common summands of balanced expressions.