src/HOL/Algebra/Module.thy

--- a/src/HOL/Algebra/Module.thy	Wed Apr 30 18:31:38 2003 +0200
+++ b/src/HOL/Algebra/Module.thy	Wed Apr 30 18:32:06 2003 +0200
@@ -139,7 +139,7 @@
   finally show ?thesis .
 qed
 
-subsection {* Every Abelian Group is a $\mathbb{Z}$-module *}
+subsection {* Every Abelian Group is a Z-module *}
 
 text {* Not finished. *}