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