src/HOL/Algebra/Exponent.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-09 paulson 2004-06-09 moved some cardinality results into main HOL
2004-05-06 wenzelm 2004-05-06 tuned document;
2003-03-18 paulson 2003-03-18 moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them to the new Group setup. Deleted Ring, Module from GroupTheory Minor UNITY changes