src/HOL/Library/Commutative_Ring.thy
Sat, 23 Jun 2007 19:33:22 +0200 nipkow tuned and renamed group_eq_simps and ring_eq_simps
Fri, 20 Apr 2007 11:21:40 +0200 haftmann switched from recdef to function package; constants add, mul, pow now curried; infix syntax for algebraic operations.
Fri, 13 Apr 2007 21:26:35 +0200 wenzelm tuned document (headers, sections, spacing);
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Wed, 08 Nov 2006 23:11:13 +0100 wenzelm moved theories Parity, GCD, Binomial to Library;
Fri, 22 Sep 2006 13:04:30 +0200 wenzelm tuned proofs;
Tue, 19 Sep 2006 23:15:28 +0200 wenzelm tuned proofs;
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Tue, 20 Sep 2005 14:10:29 +0200 wenzelm added Commutative_Ring (from Main HOL);
less more (0) tip