src/HOL/Library/Abstract_Rat.thy
Tue, 27 Apr 2010 08:17:39 +0200 haftmann canonical import
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, 05 Feb 2010 14:33:50 +0100 haftmann more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
Fri, 13 Nov 2009 14:14:04 +0100 nipkow renamed lemmas "anti_sym" -> "antisym"
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Mon, 31 Aug 2009 14:09:42 +0200 nipkow tuned the simp rules for Int involving insert and intervals.
Thu, 09 Jul 2009 08:55:42 +0200 chaieb merged
Sat, 04 Jul 2009 15:19:29 +0200 chaieb merged
Thu, 02 Jul 2009 13:48:39 +0200 chaieb Gettring rid of sorts hyps
Tue, 07 Jul 2009 17:39:51 +0200 nipkow renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int
Wed, 17 Jun 2009 16:55:01 -0700 huffman new GCD library, courtesy of Jeremy Avigad
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Sat, 21 Feb 2009 20:52:30 +0100 nipkow Removed subsumed lemmas
Wed, 28 Jan 2009 16:29:16 +0100 nipkow Replaced group_ and ring_simps by algebra_simps;
Thu, 16 Oct 2008 22:44:24 +0200 wenzelm explicit SORT_CONSTRAINT for proofs depending implicitly on certain sorts;
Mon, 21 Jul 2008 13:36:59 +0200 chaieb Tuned and simplified proofs
Mon, 14 Jul 2008 16:13:42 +0200 chaieb Fixed proofs.
Mon, 14 Jul 2008 11:04:42 +0200 haftmann unified curried gcd, lcm, zgcd, zlcm
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Wed, 02 Apr 2008 15:58:28 +0200 haftmann dropped wrong code lemma
Fri, 12 Oct 2007 15:21:12 +0200 wenzelm replaced syntax/translations by abbreviation;
Thu, 09 Aug 2007 15:52:49 +0200 haftmann proper implementation of rational numbers
less more (0) tip