src/Provers/Arith/combine_numerals.ML
2000-05-05 wenzelm 2000-05-05 removed dead code: listof;
2000-05-05 paulson 2000-05-05 simprocs now simplify the RHS of their result
2000-05-02 paulson 2000-05-02 new simproc, replacing combine_coeffs and working for nat, int, real