NEWS
changeset 66278 978fb83b100c
parent 66248 df85956228c2
child 66298 5ff9fe3fee66
     1.1 --- a/NEWS	Sat Jul 15 14:33:56 2017 +0100
     1.2 +++ b/NEWS	Sat Jul 15 14:36:30 2017 +0100
     1.3 @@ -105,6 +105,11 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Notions of squarefreeness, n-th powers, and prime powers in
     1.8 +HOL-Computational_Algebra and HOL-Number_Theory.
     1.9 +
    1.10 +* Material on infinite products in HOL-Analysis
    1.11 +
    1.12  * "sublist" from theory List renamed to "nths" in analogy with "nth".
    1.13  "sublisteq" renamed to "subseq".  Minor INCOMPATIBILITY.
    1.14