src/HOL/Nat.thy

--- a/src/HOL/Nat.thy	Sun Jun 23 21:16:06 2013 +0200
+++ b/src/HOL/Nat.thy	Sun Jun 23 21:16:07 2013 +0200
@@ -1911,14 +1911,8 @@
 
 subsection {* code module namespace *}
 
-code_modulename SML
-  Nat Arith
-
-code_modulename OCaml
-  Nat Arith
-
-code_modulename Haskell
-  Nat Arith
+code_identifier
+  code_module Nat \<rightharpoonup> (SML) Arith and (OCaml) Arith and (Haskell) Arith
 
 hide_const (open) of_nat_aux