diff -r 16482dc641d4 -r c32144b8baba src/Tools/Code_Generator.thy
--- a/src/Tools/Code_Generator.thy	Thu Jun 30 16:50:26 2011 +0200
+++ b/src/Tools/Code_Generator.thy	Fri Jul 01 10:45:49 2011 +0200
@@ -34,6 +34,7 @@
   #> Code_Haskell.setup
   #> Code_Scala.setup
   #> Quickcheck.setup
+  #> Value.setup
 *}
 
 code_datatype "TYPE('a\<Colon>{})"