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