Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/List.thy
changeset 20699 0cc77abb185a
parent 20588 c847c56edf0c
child 21046 fe1db2f991a7 
--- a/src/HOL/List.thy	Mon Sep 25 17:04:14 2006 +0200
+++ b/src/HOL/List.thy	Mon Sep 25 17:04:15 2006 +0200
@@ -2790,9 +2790,9 @@
 
   Codegen.add_codegen "list_codegen" list_codegen
   #> Codegen.add_codegen "char_codegen" char_codegen
-  #> CodegenPackage.add_pretty_list "SML" "List.list.Nil" "List.list.Cons"
+  #> CodegenSerializer.add_pretty_list "SML" "List.list.Nil" "List.list.Cons"
        HOList.print_list NONE (7, "::")
-  #> CodegenPackage.add_pretty_list "Haskell" "List.list.Nil" "List.list.Cons"
+  #> CodegenSerializer.add_pretty_list "Haskell" "List.list.Nil" "List.list.Cons"
        HOList.print_list (SOME (HOList.print_char, HOList.print_string)) (5, ":")
   #> CodegenPackage.add_appconst
        ("List.char.Char", CodegenPackage.appgen_char HOList.dest_char)
isabelle