--- a/src/HOL/Code_Setup.thy Tue Jan 15 02:38:13 2008 +0100
+++ b/src/HOL/Code_Setup.thy Tue Jan 15 16:19:19 2008 +0100
@@ -86,7 +86,7 @@
text {* type bool *}
-lemmas [code unfold] = imp_conv_disj
+lemmas [code func, code unfold] = imp_conv_disj
code_type bool
(SML "bool")