summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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