NEWS
changeset 61848 9250e546ab23
parent 61841 4d3527b94f2a
child 61859 76189756ff65
child 61887 acdfc76a6c33
     1.1 --- a/NEWS	Mon Dec 14 14:05:31 2015 +0100
     1.2 +++ b/NEWS	Tue Dec 15 14:40:36 2015 +0000
     1.3 @@ -594,8 +594,8 @@
     1.4  fixpoint theorem for increasing functions in chain-complete partial
     1.5  orders.
     1.6  
     1.7 -* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals, Cauchy's
     1.8 -integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
     1.9 +* Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (= complex path integrals),
    1.10 +Cauchy's integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
    1.11  
    1.12  * Multivariate_Analysis: Added topological concepts such as connected components,
    1.13  homotopic paths and the inside or outside of a set.