NEWS

--- a/NEWS	Wed May 25 16:52:19 2016 +0100
+++ b/NEWS	Thu May 26 09:05:00 2016 +0200
@@ -214,7 +214,7 @@
 pave way for a possible future different type class instantiation
 for polynomials over factorial rings.  INCOMPATIBILITY.
 
-* Library/Sublist.thy: renamed
+* Library/Sublist.thy: added function "prefixes" and renamed
  prefixeq -> prefix
  prefix -> strict_prefix
  suffixeq -> suffix