src/HOL/Decision_Procs/commutative_ring_tac.ML
2010-07-08 haftmann 2010-07-08 tuned titles
2010-02-19 haftmann 2010-02-19 moved remaning class operations from Algebras.thy to Groups.thy
2010-01-28 haftmann 2010-01-28 new theory Algebras.thy for generic algebraic structures
2009-11-04 nipkow 2009-11-04 merged
2009-10-30 haftmann 2009-10-30 moved Commutative_Ring into session Decision_Procs