src/HOL/Algebra/Exponent.thy
Thu, 07 Jul 2005 12:39:17 +0200 nipkow linear arithmetic now takes "&" in assumptions apart.
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
Wed, 09 Jun 2004 11:18:51 +0200 paulson moved some cardinality results into main HOL
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Tue, 18 Mar 2003 18:07:06 +0100 paulson moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them
less more (0) tip