Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
confine term setup to Eval serialiser
authorhaftmann
Wed, 06 May 2009 19:09:14 +0200
changeset 31053 b7e1c065b6e4
parent 31052 9a3bd9dbdd0f
child 31054 841c9f67f9e7
confine term setup to Eval serialiser
src/HOL/Library/Code_Char.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle