Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS about Sum_of_Powers
authorpaulson <lp15@cam.ac.uk>
Thu, 25 Aug 2022 22:18:49 +0100
changeset 75975 44e0ba464e08
parent 75974 c2dc1102b776
child 75976 c8d9fbe2dedd
NEWS about Sum_of_Powers
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Aug 25 21:42:21 2022 +0100
+++ b/NEWS	Thu Aug 25 22:18:49 2022 +0100
@@ -155,6 +155,9 @@
 * Theory "HOL-Library.Sublist":
   - Added lemma map_mono_strict_suffix.
 
+* Theory "HOL-ex.Sum_of_Powers":
+  - Deleted. The same material is in the AFP as Bernoulli.
+
 * Nitpick: To avoid technical issues, prefer non-JNI solvers to JNI solvers by
   default. Minor INCOMPATIBILITY.
isabelle