changeset 24219 | e558fe311376 |
parent 24166 | 7b28dc69bdbb |
child 24286 | 7619080e49f0 |
--- a/src/HOL/List.thy Fri Aug 10 17:04:24 2007 +0200 +++ b/src/HOL/List.thy Fri Aug 10 17:04:34 2007 +0200 @@ -2815,7 +2815,7 @@ (Haskell "[]") setup {* - fold (fn target => CodegenSerializer.add_pretty_list target + fold (fn target => CodeTarget.add_pretty_list target @{const_name Nil} @{const_name Cons} ) ["SML", "OCaml", "Haskell"] *}