
diff -r acc2f1801acc -r 57752a91eec4 src/HOL/Old_Datatype.thy
--- a/src/HOL/Old_Datatype.thy	Thu Sep 11 18:54:36 2014 +0200
+++ b/src/HOL/Old_Datatype.thy	Thu Sep 11 18:54:36 2014 +0200
@@ -7,7 +7,7 @@
 
 theory Old_Datatype
 imports Power
-keywords "datatype" :: thy_decl
+keywords "old_datatype" :: thy_decl
 begin
 
 subsection {* The datatype universe *}




