src/HOL/BNF_Least_Fixpoint.thy
changeset 58305 57752a91eec4
parent 58276 aa1b6ea6a893
child 58310 91ea607a34d8
     1.1 --- a/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 18:54:36 2014 +0200
     1.2 +++ b/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 18:54:36 2014 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4  theory BNF_Least_Fixpoint
     1.5  imports BNF_Fixpoint_Base
     1.6  keywords
     1.7 +  "datatype" :: thy_decl and
     1.8    "datatype_new" :: thy_decl and
     1.9    "datatype_compat" :: thy_decl
    1.10  begin