
diff -r 30916e44d828 -r 6190b701e4f4 src/HOL/Codatatype/Codatatype.thy
--- a/src/HOL/Codatatype/Codatatype.thy	Wed Sep 12 02:06:31 2012 +0200
+++ b/src/HOL/Codatatype/Codatatype.thy	Wed Sep 12 05:03:18 2012 +0200
@@ -10,14 +10,7 @@
 header {* The (Co)datatype Package *}
 
 theory Codatatype
-imports BNF_LFP BNF_GFP BNF_Wrap
-keywords
-  "data" :: thy_decl and
-  "codata" :: thy_decl and
-  "defaults"
-uses
-  "Tools/bnf_fp_sugar_tactics.ML"
-  "Tools/bnf_fp_sugar.ML"
+imports BNF_LFP BNF_GFP
 begin
 
 end




