--- a/NEWS Tue Aug 15 19:47:08 2017 +0200
+++ b/NEWS Tue Aug 15 22:23:16 2017 +0200
@@ -131,8 +131,11 @@
* Material on infinite products in HOL-Analysis
-* "sublist" from theory List renamed to "nths" in analogy with "nth".
-"sublisteq" renamed to "subseq". Minor INCOMPATIBILITY.
+* Theory List:
+ "sublist" renamed to "nths" in analogy with "nth".
+ "sublisteq" renamed to "subseq".
+ Minor INCOMPATIBILITY.
+ New generic function "sorted_wrt"
* Theories "GCD" and "Binomial" are already included in "Main" (instead
of "Complex_Main").