NEWS

 but not gcd/lcm on polynomials over fields.  This has been moved
 to a separate theory Library/Polynomial_GCD_euclidean.thy, to
 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:
   lcm_left_commute_nat ~> lcm.left_commute
   lcm_left_commute_int ~> lcm.left_commute