src/HOL/String.thy
changeset 41750 2b4f7a29126f
parent 39557 fe5722fce758
child 42163 392fd6c4669c
--- a/src/HOL/String.thy	Wed Feb 09 17:18:58 2011 +0100
+++ b/src/HOL/String.thy	Thu Feb 10 10:32:12 2011 +0100
@@ -240,16 +240,4 @@
 
 hide_type (open) literal
 
-
-text {* Code generator setup *}
-
-code_modulename SML
-  String String
-
-code_modulename OCaml
-  String String
-
-code_modulename Haskell
-  String String
-
 end