src/HOL/Tools/int_factor_simprocs.ML
2009-05-08 haftmann 2009-05-08 generalized simproc for mod
2009-04-16 haftmann 2009-04-16 generalized some simprocs from int to semiring_div
2009-03-23 haftmann 2009-03-23 structure LinArith now named Lin_Arith
2009-03-22 nipkow 2009-03-22 1. New cancellation simprocs for common factors in inequations 2. Updated the documentation
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
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-20 nipkow 2009-02-20 Removed redundant lemmas
2009-02-18 huffman 2009-02-18 generalize int_dvd_cancel_factor simproc to idom class
2008-12-09 huffman 2008-12-09 use {less,le}_number_of in integer simprocs
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s