src/HOL/Algebra/Group.thy
2004-04-13 ballarin 2004-04-13 Various changes to HOL-Algebra; Locale instantiation.
2003-12-10 ballarin 2003-12-10 New structure "partial_object" as common root for lattices and magmas.
2003-11-06 ballarin 2003-11-06 Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by default.
2003-05-07 ballarin 2003-05-07 Small changes for release Isabelle 2003.
2003-05-02 ballarin 2003-05-02 HOL-Algebra complete for release Isabelle2003 (modulo section headers).
2003-05-01 paulson 2003-05-01 new proofs about direct products, etc.
2003-05-01 paulson 2003-05-01 moving Bij.thy from GroupTheory to Algebra
2003-04-30 ballarin 2003-04-30 HOL-Algebra: New polynomial development added.
2003-04-30 ballarin 2003-04-30 Greatly extended CRing. Added Module.
2003-03-10 ballarin 2003-03-10 First distributed version of Group and Ring theory.
2003-02-27 ballarin 2003-02-27 Change to meta simplifier: congruence rules may now have frees as head of term.
2003-02-14 ballarin 2003-02-14 Product operator added --- preliminary.
2003-02-10 ballarin 2003-02-10 New development of algebra: Groups.