changeset 20699 | 0cc77abb185a |
parent 20453 | 855f07fabd76 |
child 21079 | 747d716e98d0 |
--- a/src/HOL/Library/MLString.thy Mon Sep 25 17:04:14 2006 +0200 +++ b/src/HOL/Library/MLString.thy Mon Sep 25 17:04:15 2006 +0200 @@ -66,7 +66,7 @@ (Haskell "_") setup {* - CodegenPackage.add_pretty_ml_string "SML" "List.list.Nil" "List.list.Cons" "MLString.ml_string.STR" + CodegenSerializer.add_pretty_ml_string "SML" "List.list.Nil" "List.list.Cons" "MLString.ml_string.STR" HOList.print_char HOList.print_string "String.implode" *}