src/HOL/HOL.thy
changeset 28663 bd8438543bf2
parent 28562 4e74209f113e
child 28682 5de9fc98ad96
     1.1 --- a/src/HOL/HOL.thy	Wed Oct 22 14:15:44 2008 +0200
     1.2 +++ b/src/HOL/HOL.thy	Wed Oct 22 14:15:45 2008 +0200
     1.3 @@ -1692,8 +1692,7 @@
     1.4  use "~~/src/HOL/Tools/recfun_codegen.ML"
     1.5  
     1.6  setup {*
     1.7 -  Code_Name.setup
     1.8 -  #> Code_ML.setup
     1.9 +  Code_ML.setup
    1.10    #> Code_Haskell.setup
    1.11    #> Nbe.setup
    1.12    #> Codegen.setup