1.1 --- a/NEWS	Mon May 12 17:17:32 2014 +0200
     1.2 +++ b/NEWS	Tue May 13 09:21:22 2014 +0200
     1.3 @@ -291,7 +291,7 @@
     1.4    New theories:
     1.5      Wellorder_Extension.thy (split from Zorn.thy)
     1.6      Library/Cardinal_Notations.thy
     1.7 -    Library/BNF_Decl.thy
     1.8 +    Library/BNF_Axomatization.thy
     1.9      BNF_Examples/Misc_Primcorec.thy
    1.10      BNF_Examples/Stream_Processor.thy
    1.11    Discontinued theories: