NEWS
changeset 65956 639eb3617a86
parent 65841 82add6bf8a42
child 66019 69b5ef78fb07
     1.1 --- a/NEWS	Sun May 28 15:46:26 2017 +0200
     1.2 +++ b/NEWS	Mon May 29 09:14:15 2017 +0200
     1.3 @@ -73,6 +73,9 @@
     1.4  
     1.5  *** HOL ***
     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 +
    1.10  * Theories "GCD" and "Binomial" are already included in "Main" (instead
    1.11  of "Complex_Main").
    1.12