src/HOL/Algebra/Module.thy
Thu, 22 Apr 2004 11:01:34 +0200 wenzelm improved notation;
less more (0) -1 tip