src/Provers/Arith/assoc_fold.ML
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2009-03-26 huffman 2009-03-26 parameterize assoc_fold with is_numeral predicate
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2007-05-17 haftmann 2007-05-17 canonical prefixing of class constants
2006-07-08 wenzelm 2006-07-08 simprocs: no theory argument -- use simpset context instead; misc cleanup;
2005-10-21 wenzelm 2005-10-21 Goal.prove;
2005-10-17 wenzelm 2005-10-17 Simplifier.inherit_context instead of Simplifier.inherit_bounds;
2005-08-01 wenzelm 2005-08-01 simprocs: Simplifier.inherit_bounds;
2005-06-17 wenzelm 2005-06-17 renamed sg_ref to thy_ref;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
2002-08-08 wenzelm 2002-08-08 use Tactic.prove instead of prove_goalw_cterm in internal proofs!
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