src/HOL/Codatatype/Codatatype.thy
changeset 49283 97809ae5f7bb
parent 49123 263b0e330d8b
child 49286 dde4967c9233
equal deleted inserted replaced
49282:c057e1b39f16 49283:97809ae5f7bb
     8 *)
     8 *)
     9 
     9 
    10 header {* The (Co)datatype Package *}
    10 header {* The (Co)datatype Package *}
    11 
    11 
    12 theory Codatatype
    12 theory Codatatype
    13 imports BNF_Wrap BNF_LFP BNF_GFP
    13 imports BNF_LFP BNF_GFP BNF_Wrap
    14 keywords
    14 keywords
    15   "data" :: thy_decl
    15   "data" :: thy_decl
    16 and
    16 and
    17   "codata" :: thy_decl
    17   "codata" :: thy_decl
    18 uses
    18 uses