src/Provers/Arith/combine_numerals.ML
Fri, 05 May 2000 17:49:54 +0200 paulson simprocs now simplify the RHS of their result
Tue, 02 May 2000 18:39:34 +0200 paulson new simproc, replacing combine_coeffs and working for nat, int, real
less more (0) tip