--- a/NEWS Wed May 25 12:24:00 2016 +0200
+++ b/NEWS Wed May 25 17:40:56 2016 +0200
@@ -214,7 +214,11 @@
pave way for a possible future different type class instantiation
for polynomials over factorial rings. INCOMPATIBILITY.
-* Library/Sublist.thy: renamed prefixeq -> prefix and prefix -> strict_prefix
+* Library/Sublist.thy: renamed
+ prefixeq -> prefix
+ prefix -> strict_prefix
+ suffixeq -> suffix
+ suffix -> strict_suffix
* Dropped various legacy fact bindings, whose replacements are often
of a more general type also: