# HG changeset patch
# User haftmann
# Date 1278598763 -7200
# Node ID 0a3fa8fbcdc5dcd9e8f3b1e1a83257bfb375d85f
# Parent  d8e7f473c3a1f23833ec462ac13f0fbda5576801
tuned module names

diff -r d8e7f473c3a1 -r 0a3fa8fbcdc5 src/HOL/String.thy
--- a/src/HOL/String.thy	Thu Jul 08 16:17:44 2010 +0200
+++ b/src/HOL/String.thy	Thu Jul 08 16:19:23 2010 +0200
@@ -219,4 +219,16 @@
 
 hide_type (open) literal
 
+
+text {* Code generator setup *}
+
+code_modulename SML
+  String String
+
+code_modulename OCaml
+  String String
+
+code_modulename Haskell
+  String String
+
 end
\ No newline at end of file