reverted cs. 0a3fa8fbcdc5 -- motivation is unreconstructable, produces confusion in user space
authorhaftmann
Thu Feb 10 10:32:12 2011 +0100 (2011-02-10)
changeset 417502b4f7a29126f
parent 41743 d52af5722f0f
child 41751 73389fcafb66
reverted cs. 0a3fa8fbcdc5 -- motivation is unreconstructable, produces confusion in user space
src/HOL/String.thy
     1.1 --- a/src/HOL/String.thy	Wed Feb 09 17:18:58 2011 +0100
     1.2 +++ b/src/HOL/String.thy	Thu Feb 10 10:32:12 2011 +0100
     1.3 @@ -240,16 +240,4 @@
     1.4  
     1.5  hide_type (open) literal
     1.6  
     1.7 -
     1.8 -text {* Code generator setup *}
     1.9 -
    1.10 -code_modulename SML
    1.11 -  String String
    1.12 -
    1.13 -code_modulename OCaml
    1.14 -  String String
    1.15 -
    1.16 -code_modulename Haskell
    1.17 -  String String
    1.18 -
    1.19  end