src/HOL/Algebra/Sylow.thy
Mon, 27 Jan 2014 16:38:52 +0000 paulson converting to new Number_Theory
Thu, 13 Jan 2011 23:50:16 +0100 wenzelm eliminated global prems;
Sun, 21 Mar 2010 17:12:31 +0100 wenzelm standard headers;
Fri, 13 Nov 2009 14:14:04 +0100 nipkow renamed lemmas "anti_sym" -> "antisym"
Mon, 22 Jun 2009 20:59:12 +0200 nipkow tuned FuncSet
Mon, 02 Mar 2009 16:53:55 +0100 nipkow name changes
Fri, 01 Aug 2008 18:10:52 +0200 ballarin Generalised polynomial lemmas from cring to ring.
Wed, 07 May 2008 10:57:19 +0200 berghofe Adapted to encoding of sets as predicates
Tue, 23 Oct 2007 23:27:23 +0200 nipkow went back to >0
Sun, 21 Oct 2007 14:53:44 +0200 nipkow Eliminated most of the neq0_conv occurrences. As a result, many
Thu, 03 Aug 2006 14:57:26 +0200 ballarin Restructured algebra library, added ideals and quotient rings.
Fri, 01 Jul 2005 17:41:10 +0200 nipkow prime is a predicate now.
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 17 Jun 2004 17:18:30 +0200 paulson removal of magmas and semigroups
Wed, 26 May 2004 11:43:50 +0200 paulson more group isomorphisms
Fri, 14 May 2004 16:50:33 +0200 paulson removal of locale coset
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Fri, 23 Apr 2004 21:46:04 +0200 wenzelm improved notation;
Thu, 22 Apr 2004 11:01:34 +0200 wenzelm improved notation;
Tue, 18 Mar 2003 18:07:06 +0100 paulson moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them
less more (0) tip