src/HOL/Library/Code_Char.thy
changeset 31053 b7e1c065b6e4
parent 31046 c1969f609bf7
child 32657 5f13912245ff
     1.1 --- a/src/HOL/Library/Code_Char.thy	Wed May 06 16:10:12 2009 +0200
     1.2 +++ b/src/HOL/Library/Code_Char.thy	Wed May 06 19:09:14 2009 +0200
     1.3 @@ -14,8 +14,8 @@
     1.4    (Haskell "Char")
     1.5  
     1.6  setup {*
     1.7 -  fold (fn target => add_literal_char target) ["SML", "OCaml", "Haskell"] 
     1.8 -  #> add_literal_list_string "Haskell"
     1.9 +  fold String_Code.add_literal_char ["SML", "OCaml", "Haskell"] 
    1.10 +  #> String_Code.add_literal_list_string "Haskell"
    1.11  *}
    1.12  
    1.13  code_instance char :: eq