NEWS
changeset 66435 292680dde314
parent 66424 457da4e299de
child 66449 1be102db1598
     1.1 --- a/NEWS	Tue Aug 15 19:47:08 2017 +0200
     1.2 +++ b/NEWS	Tue Aug 15 22:23:16 2017 +0200
     1.3 @@ -131,8 +131,11 @@
     1.4  
     1.5  * Material on infinite products in HOL-Analysis
     1.6  
     1.7 -* "sublist" from theory List renamed to "nths" in analogy with "nth".
     1.8 -"sublisteq" renamed to "subseq".  Minor INCOMPATIBILITY.
     1.9 +* Theory List:
    1.10 +  "sublist" renamed to "nths" in analogy with "nth".
    1.11 +  "sublisteq" renamed to "subseq".
    1.12 +  Minor INCOMPATIBILITY.
    1.13 +  New generic function "sorted_wrt"
    1.14  
    1.15  * Theories "GCD" and "Binomial" are already included in "Main" (instead
    1.16  of "Complex_Main").