diff -r 8d5de16583ef -r 0ce528cd6f19 src/HOL/Algebra/Module.thy
--- a/src/HOL/Algebra/Module.thy	Fri May 02 16:43:36 2003 +0200
+++ b/src/HOL/Algebra/Module.thy	Fri May 02 20:02:50 2003 +0200
@@ -139,7 +139,7 @@
   finally show ?thesis .
 qed
 
-subsection {* Every Abelian Group is a Z-module *}
+subsection {* Every Abelian Group is a $\mathbb{Z}$-module *}
 
 text {* Not finished. *}