src/HOL/HOL.thy
changeset 28227 77221ee0f7b9
parent 28054 2b84d34c5d02
child 28325 0b6b83ec8458
     1.1 --- a/src/HOL/HOL.thy	Mon Sep 15 20:51:58 2008 +0200
     1.2 +++ b/src/HOL/HOL.thy	Tue Sep 16 09:21:22 2008 +0200
     1.3 @@ -1711,6 +1711,7 @@
     1.4    #> Code_ML.setup
     1.5    #> Code_Haskell.setup
     1.6    #> Nbe.setup
     1.7 +  #> Codegen.setup
     1.8  *}
     1.9  
    1.10  lemma [code func]: