src/HOL/String.thy
changeset 41750 2b4f7a29126f
parent 39557 fe5722fce758
child 42163 392fd6c4669c
     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