changeset 49283 | 97809ae5f7bb |
parent 49123 | 263b0e330d8b |
child 49286 | dde4967c9233 |
--- a/src/HOL/Codatatype/Codatatype.thy Tue Sep 11 17:09:39 2012 +0200 +++ b/src/HOL/Codatatype/Codatatype.thy Tue Sep 11 17:14:49 2012 +0200 @@ -10,7 +10,7 @@ header {* The (Co)datatype Package *} theory Codatatype -imports BNF_Wrap BNF_LFP BNF_GFP +imports BNF_LFP BNF_GFP BNF_Wrap keywords "data" :: thy_decl and