--- 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>{})"