src/HOL/Algebra/ringsimp.ML
2005-06-25 nipkow 2005-06-25 Changes due to new abel_cancel.ML
2005-06-20 wenzelm 2005-06-20 get_thm(s): Name;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-01-24 berghofe 2005-01-24 Adapted to modified interface of PureThy.get_thm(s).
2004-06-17 paulson 2004-06-17 removal of magmas and semigroups
2004-02-19 ballarin 2004-02-19 New lemmas about inversion of restricted functions. HOL-Algebra: new locale "ring" for non-commutative rings.
2003-04-30 ballarin 2003-04-30 Greatly extended CRing. Added Module.
2003-03-14 ballarin 2003-03-14 Bugs fixed and operators finprod and finsum.
2003-03-10 ballarin 2003-03-10 First distributed version of Group and Ring theory.