src/HOL/BNF_Least_Fixpoint.thy
changeset 58310 91ea607a34d8
parent 58305 57752a91eec4
child 58314 ee1be8b3032e
     1.1 --- a/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 19:26:59 2014 +0200
     1.2 +++ b/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 19:32:36 2014 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  imports BNF_Fixpoint_Base
     1.5  keywords
     1.6    "datatype" :: thy_decl and
     1.7 -  "datatype_new" :: thy_decl and
     1.8 +  "datatype" :: thy_decl and
     1.9    "datatype_compat" :: thy_decl
    1.10  begin
    1.11