src/HOL/Tools/int_factor_simprocs.ML
Fri, 08 May 2009 08:01:09 +0200 haftmann generalized simproc for mod
Thu, 16 Apr 2009 10:11:35 +0200 haftmann generalized some simprocs from int to semiring_div
Mon, 23 Mar 2009 19:01:15 +0100 haftmann structure LinArith now named Lin_Arith
Sun, 22 Mar 2009 19:36:04 +0100 nipkow 1. New cancellation simprocs for common factors in inequations
Fri, 13 Mar 2009 19:17:57 +0100 haftmann moved some generic nonsense to arith_data.ML
Thu, 12 Mar 2009 18:01:26 +0100 haftmann vague cleanup in arith proof tools setup: deleted dead code, more proper structures, clearer arrangement
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Fri, 20 Feb 2009 23:46:03 +0100 nipkow Removed redundant lemmas
Wed, 18 Feb 2009 15:01:53 -0800 huffman generalize int_dvd_cancel_factor simproc to idom class
Tue, 09 Dec 2008 20:35:31 -0800 huffman use {less,le}_number_of in integer simprocs
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
less more (0) tip