--- a/NEWS Mon Dec 14 14:05:31 2015 +0100
+++ b/NEWS Tue Dec 15 14:40:36 2015 +0000
@@ -594,8 +594,8 @@
fixpoint theorem for increasing functions in chain-complete partial
orders.
-* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals, Cauchy's
-integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
+* Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (= complex path integrals),
+Cauchy's integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
* Multivariate_Analysis: Added topological concepts such as connected components,
homotopic paths and the inside or outside of a set.