NEWS

--- a/NEWS	Mon May 23 15:30:13 2016 +0200
+++ b/NEWS	Mon May 23 22:43:11 2016 +0200
@@ -196,6 +196,8 @@
 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
+
 * Dropped various legacy fact bindings, whose replacements are often
 of a more general type also:
   lcm_left_commute_nat ~> lcm.left_commute