src/HOL/String.thy
changeset 41750 2b4f7a29126f
parent 39557 fe5722fce758
child 42163 392fd6c4669c
equal deleted inserted replaced
41743:d52af5722f0f 41750:2b4f7a29126f
   238 in Codegen.add_codegen "char_codegen" char_codegen end
   238 in Codegen.add_codegen "char_codegen" char_codegen end
   239 *}
   239 *}
   240 
   240 
   241 hide_type (open) literal
   241 hide_type (open) literal
   242 
   242 
   243 
   243 end
   244 text {* Code generator setup *}
       
   245 
       
   246 code_modulename SML
       
   247   String String
       
   248 
       
   249 code_modulename OCaml
       
   250   String String
       
   251 
       
   252 code_modulename Haskell
       
   253   String String
       
   254 
       
   255 end