src/HOL/Algebra/ringsimp.ML
Wed, 30 Apr 2003 10:01:35 +0200 ballarin Greatly extended CRing. Added Module.
Fri, 14 Mar 2003 18:00:16 +0100 ballarin Bugs fixed and operators finprod and finsum.
Mon, 10 Mar 2003 17:25:34 +0100 ballarin First distributed version of Group and Ring theory.
less more (0) tip