src/HOL/Algebra/Module.thy
Wed, 30 Apr 2003 10:01:35 +0200 ballarin Greatly extended CRing. Added Module.
less more (0) tip