changeset 49308 | 6190b701e4f4 |
parent 49286 | dde4967c9233 |
child 49309 | f20b24214ac2 |
--- 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