src/HOL/BNF_Least_Fixpoint.thy
changeset 58314 ee1be8b3032e
parent 58310 91ea607a34d8
child 58352 37745650a3f4
     1.1 --- a/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 19:39:48 2014 +0200
     1.2 +++ b/src/HOL/BNF_Least_Fixpoint.thy	Thu Sep 11 19:41:45 2014 +0200
     1.3 @@ -13,7 +13,6 @@
     1.4  imports BNF_Fixpoint_Base
     1.5  keywords
     1.6    "datatype" :: thy_decl and
     1.7 -  "datatype" :: thy_decl and
     1.8    "datatype_compat" :: thy_decl
     1.9  begin
    1.10