src/Provers/Arith/assoc_fold.ML
2002-08-06 wenzelm 2002-08-06 sane interface for simprocs;
2001-11-21 wenzelm 2001-11-21 use tracing function for trace output;
2000-07-24 wenzelm 2000-07-24 do not pass theory values, but sg_ref;
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