src/HOL/Tools/int_arith.ML
Fri, 19 Feb 2010 14:47:01 +0100 haftmann moved remaning class operations from Algebras.thy to Groups.thy
Wed, 10 Feb 2010 14:12:04 +0100 haftmann moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy
Fri, 05 Feb 2010 14:33:50 +0100 haftmann more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
Thu, 28 Jan 2010 11:48:49 +0100 haftmann new theory Algebras.thy for generic algebraic structures
Wed, 28 Oct 2009 19:09:47 +0100 haftmann moved theory Divides after theory Nat_Numeral; tuned some proof texts
Fri, 18 Sep 2009 09:07:50 +0200 haftmann tuned const_name antiquotations
Mon, 08 Jun 2009 22:29:37 +0200 boehmes fast_lin_arith uses proper multiplication instead of unfolding to additions
Mon, 11 May 2009 15:57:29 +0200 haftmann qualified names for Lin_Arith tactics and simprocs
Mon, 11 May 2009 15:18:32 +0200 haftmann tuned interface of Lin_Arith
Sat, 09 May 2009 09:17:29 +0200 haftmann interface changes in linarith.ML
Fri, 08 May 2009 09:48:07 +0200 haftmann modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs
Wed, 29 Apr 2009 17:15:01 -0700 huffman reimplement reorientation simproc using theory data
Mon, 30 Mar 2009 12:07:59 -0700 huffman simplify theorem references
Thu, 26 Mar 2009 11:33:50 -0700 huffman parameterize assoc_fold with is_numeral predicate
Mon, 23 Mar 2009 19:01:15 +0100 haftmann structure LinArith now named Lin_Arith
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, 31 Dec 2008 15:30:10 +0100 wenzelm moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
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