diff -r 0616ba637b14 -r 639eb3617a86 NEWS
--- a/NEWS	Sun May 28 15:46:26 2017 +0200
+++ b/NEWS	Mon May 29 09:14:15 2017 +0200
@@ -73,6 +73,9 @@
 
 *** HOL ***
 
+* "sublist" from theory List renamed to "nths" in analogy with "nth".
+"sublisteq" renamed to "subseq".  Minor INCOMPATIBILITY.
+
 * Theories "GCD" and "Binomial" are already included in "Main" (instead
 of "Complex_Main").