diff -r de33f3965ca6 -r 70395c65c0e3 NEWS
--- a/NEWS	Thu May 29 11:11:22 2014 +0200
+++ b/NEWS	Thu May 29 16:13:47 2014 +0200
@@ -755,6 +755,8 @@
 
     * Renamed abbreviation integral\<^sup>P to integral\<^sup>N.
 
+* Library/Kleene-Algebra was removed because AFP/Kleene_Algebra subsumes it.
+
 *** Scala ***
 
 * The signature and semantics of Document.Snapshot.cumulate_markup /