# 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