src/HOL/Groebner_Basis.thy
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Thu, 12 Apr 2012 18:39:19 +0200 wenzelm more standard method setup;
Tue, 27 Mar 2012 19:21:05 +0200 huffman remove redundant lemmas
Tue, 27 Mar 2012 15:34:36 +0200 huffman remove duplicate [algebra] declarations
Tue, 27 Mar 2012 15:34:04 +0200 huffman generalize more div/mod lemmas
Tue, 27 Mar 2012 15:27:49 +0200 huffman generalize some theorems about div/mod
Tue, 27 Mar 2012 14:49:56 +0200 huffman remove redundant lemmas
Fri, 28 Oct 2011 23:41:16 +0200 wenzelm tuned Named_Thms: proper binding;
Fri, 07 May 2010 16:12:25 +0200 haftmann delete Groebner_Basis directory -- only one file left
Fri, 07 May 2010 15:05:52 +0200 haftmann split of semiring normalization from Groebner theory; moved field_comp_conv to Numeral_Simproces
Thu, 06 May 2010 23:11:57 +0200 haftmann proper sublocales; no free-floating ML sections
Thu, 06 May 2010 18:16:07 +0200 haftmann moved generic lemmas to appropriate places
Thu, 06 May 2010 17:59:19 +0200 haftmann dropped duplicate comp_arith
Thu, 06 May 2010 17:55:11 +0200 haftmann avoid references to groebner bases in names which have no references to groebner bases
Thu, 06 May 2010 16:40:02 +0200 haftmann moved presimplification rules for algebraic methods into named thms functor
Thu, 06 May 2010 16:32:20 +0200 haftmann dropped auxiliary method sring_norm; integrated normalizer.ML and normalizer_data.ML
Wed, 05 May 2010 16:53:21 +0200 haftmann moved nat_arith ot Nat_Numeral: clarified normalizer setup
Wed, 05 May 2010 16:46:19 +0200 haftmann dropped unused file
Mon, 26 Apr 2010 15:37:50 +0200 haftmann use new classes (linordered_)field_inverse_zero
Mon, 26 Apr 2010 11:34:17 +0200 haftmann class division_ring_inverse_zero
Fri, 23 Apr 2010 15:17:59 +0200 haftmann dequalified fact name
Sun, 28 Feb 2010 23:51:31 +0100 wenzelm more antiquotations;
Thu, 18 Feb 2010 14:21:44 -0800 huffman get rid of many duplicate simp rule warnings
Wed, 10 Feb 2010 14:12:04 +0100 haftmann moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy
Wed, 10 Feb 2010 08:49:26 +0100 haftmann moved constants inverse and divide to Ring.thy
Mon, 08 Feb 2010 17:12:38 +0100 haftmann renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
Thu, 28 Jan 2010 11:48:49 +0100 haftmann new theory Algebras.thy for generic algebraic structures
Fri, 30 Oct 2009 14:00:43 +0100 haftmann combined former theories Divides and IntDiv to one theory Divides
Wed, 28 Oct 2009 19:09:47 +0100 haftmann moved theory Divides after theory Nat_Numeral; tuned some proof texts
Wed, 24 Jun 2009 09:41:14 +0200 nipkow corrected and unified thm names
less more (0) -50 -30 tip