--- a/src/HOL/HOL.thy Fri Oct 30 14:02:42 2009 +0100
+++ b/src/HOL/HOL.thy Fri Oct 30 18:32:40 2009 +0100
@@ -1818,7 +1818,7 @@
code_datatype "TYPE('a\<Colon>{})"
-code_datatype Trueprop "prop"
+code_datatype "prop" Trueprop
text {* Code equations *}