--- a/CONTRIBUTORS Fri Jun 29 22:14:33 2018 +0200
+++ b/CONTRIBUTORS Fri Jun 29 22:50:35 2018 +0200
@@ -42,7 +42,8 @@
Generalisation of complete_distrib_lattice
* February 2018: Wenda Li
- A unified definition for the order of zeros and poles. Improved reasoning around non-essential singularities.
+ A unified definition for the order of zeros and poles. Improved reasoning
+ around non-essential singularities.
* January 2018: Sebastien Gouezel
Various small additions to HOL-Analysis
--- a/NEWS Fri Jun 29 22:14:33 2018 +0200
+++ b/NEWS Fri Jun 29 22:50:35 2018 +0200
@@ -399,8 +399,8 @@
as Ln, namely (-pi,pi]; the old Arg function has been renamed Arg2pi.
INCOMPATIBILITY.
-* Session HOL-Analysis: the functions zorder, zer_poly, porder and pol_poly have been redefined.
-All related lemmas have been reworked.
+* Session HOL-Analysis: the functions zorder, zer_poly, porder and
+pol_poly have been redefined. All related lemmas have been reworked.
INCOMPATIBILITY.
* Session HOL-Analysis: infinite products, Moebius functions, the