src/HOL/Algebra/Ideal.thy
Tue, 16 Dec 2008 21:10:53 +0100 ballarin More porting to new locales.
Fri, 01 Aug 2008 18:10:52 +0200 ballarin Generalised polynomial lemmas from cring to ring.
Thu, 31 Jul 2008 09:49:21 +0200 ballarin Tuned (for the sake of a meaningless log entry).
Tue, 29 Jul 2008 16:17:13 +0200 ballarin Unit_inv_l, Unit_inv_r made [simp].
Tue, 15 Jul 2008 16:50:09 +0200 ballarin Removed uses of context element includes.
Wed, 05 Mar 2008 21:42:21 +0100 wenzelm explicit referencing of background facts;
Thu, 21 Jun 2007 20:07:26 +0200 wenzelm tuned proofs -- avoid implicit prems;
Thu, 21 Jun 2007 17:28:53 +0200 wenzelm tuned proofs -- avoid implicit prems;
Thu, 14 Jun 2007 10:38:48 +0200 wenzelm tuned proofs: avoid implicit prems;
Wed, 13 Jun 2007 00:01:41 +0200 wenzelm tuned proofs: avoid implicit prems;
Thu, 03 Aug 2006 14:57:26 +0200 ballarin Restructured algebra library, added ideals and quotient rings.
less more (0) tip