src/Provers/Arith/assoc_fold.ML
2000-05-30 wenzelm 2000-05-30 global timing flag;
2000-05-12 wenzelm 2000-05-12 improved name of simproc;
1999-07-23 paulson 1999-07-23 new simprocs assoc_fold and combine_coeff