| changeset 27454 | fb6a272fe5d0 |
| parent 27103 | d8549f4d900b |
| child 28012 | 2308843f8b66 |
--- a/src/HOL/Code_Setup.thy Thu Jul 03 11:16:07 2008 +0200 +++ b/src/HOL/Code_Setup.thy Thu Jul 03 11:16:08 2008 +0200 @@ -86,7 +86,7 @@ text {* type bool *} -lemmas [code func, code unfold, code post] = imp_conv_disj +lemmas [code func, code unfold, symmetric, code post] = imp_conv_disj code_type bool (SML "bool")