src/HOL/Tools/int_arith.ML
2009-05-11 haftmann 2009-05-11 qualified names for Lin_Arith tactics and simprocs
2009-05-11 haftmann 2009-05-11 tuned interface of Lin_Arith
2009-05-09 haftmann 2009-05-09 interface changes in linarith.ML
2009-05-08 haftmann 2009-05-08 modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs
2009-04-29 huffman 2009-04-29 reimplement reorientation simproc using theory data
2009-03-30 huffman 2009-03-30 simplify theorem references
2009-03-26 huffman 2009-03-26 parameterize assoc_fold with is_numeral predicate
2009-03-23 haftmann 2009-03-23 structure LinArith now named Lin_Arith
2009-03-13 haftmann 2009-03-13 moved some generic nonsense to arith_data.ML
2009-03-12 haftmann 2009-03-12 vague cleanup in arith proof tools setup: deleted dead code, more proper structures, clearer arrangement
2008-12-31 wenzelm 2008-12-31 moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s