src/HOL/Algebra/Group.thy
Thu, 03 Aug 2006 14:57:26 +0200 ballarin Restructured algebra library, added ideals and quotient rings.
Tue, 04 Jul 2006 14:47:01 +0200 ballarin Method intro_locales replaced by intro_locales and unfold_locales.
Tue, 04 Jul 2006 11:35:49 +0200 ballarin Minor new lemmas.
Tue, 20 Jun 2006 15:53:44 +0200 ballarin Restructured locales with predicates: import is now an interpretation.
Tue, 06 Jun 2006 10:05:57 +0200 ballarin Improved parameter management of locales.
Mon, 22 May 2006 22:29:18 +0200 wenzelm removed unchecked'';
Sat, 20 May 2006 23:36:51 +0200 wenzelm pow: unchecked;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Mon, 18 Apr 2005 09:25:23 +0200 ballarin Interpretation supports statically scoped attributes; documentation.
Mon, 11 Apr 2005 12:34:34 +0200 ballarin First release of interpretation commands.
Mon, 26 Jul 2004 15:48:50 +0200 ballarin New prover for transitive and reflexive-transitive closure of relations.
Thu, 17 Jun 2004 17:18:30 +0200 paulson removal of magmas and semigroups
Tue, 01 Jun 2004 11:25:01 +0200 paulson tidied
Wed, 26 May 2004 11:43:50 +0200 paulson more group isomorphisms
Wed, 19 May 2004 11:30:18 +0200 paulson more results about isomorphisms
Fri, 14 May 2004 19:29:22 +0200 ballarin Change of theory hierarchy: Group is now based in Lattice.
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Sat, 01 May 2004 22:05:05 +0200 wenzelm improved syntax;
Thu, 22 Apr 2004 11:01:34 +0200 wenzelm improved notation;
Tue, 13 Apr 2004 09:42:40 +0200 ballarin Various changes to HOL-Algebra;
Wed, 10 Dec 2003 14:29:05 +0100 ballarin New structure "partial_object" as common root for lattices and magmas.
Thu, 06 Nov 2003 14:18:05 +0100 ballarin Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by
Wed, 07 May 2003 22:07:33 +0200 ballarin Small changes for release Isabelle 2003.
Fri, 02 May 2003 20:02:50 +0200 ballarin HOL-Algebra complete for release Isabelle2003 (modulo section headers).
Thu, 01 May 2003 11:54:18 +0200 paulson new proofs about direct products, etc.
Thu, 01 May 2003 10:29:44 +0200 paulson moving Bij.thy from GroupTheory to Algebra
Wed, 30 Apr 2003 18:32:06 +0200 ballarin HOL-Algebra: New polynomial development added.
Wed, 30 Apr 2003 10:01:35 +0200 ballarin Greatly extended CRing. Added Module.
Mon, 10 Mar 2003 17:25:34 +0100 ballarin First distributed version of Group and Ring theory.
Thu, 27 Feb 2003 15:12:29 +0100 ballarin Change to meta simplifier: congruence rules may now have frees as head of term.
Fri, 14 Feb 2003 17:35:56 +0100 ballarin Product operator added --- preliminary.
Mon, 10 Feb 2003 09:45:22 +0100 ballarin New development of algebra: Groups.
less more (0) tip