diff -r 9060c73a4578 -r 1bf42b262a38 src/HOL/List.thy
--- a/src/HOL/List.thy	Wed Aug 30 12:28:39 2006 +0200
+++ b/src/HOL/List.thy	Wed Aug 30 15:11:17 2006 +0200
@@ -2738,11 +2738,11 @@
 val list_codegen_setup =
   Codegen.add_codegen "list_codegen" list_codegen
   #> Codegen.add_codegen "char_codegen" char_codegen
-  #> CodegenPackage.add_pretty_list "ml" "Nil" "Cons"
+  #> CodegenPackage.add_pretty_list "ml" "List.list.Nil" "List.list.Cons"
        print_list NONE (7, "::")
-  #> CodegenPackage.add_pretty_list "haskell" "Nil" "Cons"
+  #> CodegenPackage.add_pretty_list "haskell" "List.list.Nil" "List.list.Cons"
        print_list (SOME (print_char, print_string)) (5, ":")
-  #> CodegenPackage.add_appconst_i
+  #> CodegenPackage.add_appconst
        ("List.char.Char", CodegenPackage.appgen_char dest_char);
 
 end;