--- 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 *}