src/HOL/Codatatype/Codatatype.thy

--- a/src/HOL/Codatatype/Codatatype.thy	Tue Sep 11 18:12:23 2012 +0200
+++ b/src/HOL/Codatatype/Codatatype.thy	Tue Sep 11 18:39:47 2012 +0200
@@ -12,9 +12,9 @@
 theory Codatatype
 imports BNF_LFP BNF_GFP BNF_Wrap
 keywords
-  "data" :: thy_decl
-and
-  "codata" :: thy_decl
+  "data" :: thy_decl and
+  "codata" :: thy_decl and
+  "defaults"
 uses
   "Tools/bnf_fp_sugar_tactics.ML"
   "Tools/bnf_fp_sugar.ML"