# HG changeset patch
# User haftmann
# Date 1297330332 -3600
# Node ID 2b4f7a29126ff705ab0b4352b3b2431ed4f263ba
# Parent  d52af5722f0f1686d619ba024d41f7d04f4189ec
reverted cs. 0a3fa8fbcdc5 -- motivation is unreconstructable, produces confusion in user space

diff -r d52af5722f0f -r 2b4f7a29126f src/HOL/String.thy
--- 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