--- a/NEWS Fri May 27 23:58:24 2016 +0200
+++ b/NEWS Sun May 29 14:10:48 2016 +0200
@@ -227,10 +227,11 @@
for polynomials over factorial rings. INCOMPATIBILITY.
* Library/Sublist.thy: added function "prefixes" and renamed
- prefixeq -> prefix
- prefix -> strict_prefix
- suffixeq -> suffix
- suffix -> strict_suffix
+ prefixeq -> prefix
+ prefix -> strict_prefix
+ suffixeq -> suffix
+ suffix -> strict_suffix
+ Added theory of longest common prefixes.
* Dropped various legacy fact bindings, whose replacements are often
of a more general type also: