NEWS
changeset 61520 8f85bb443d33
parent 61512 933463440449
child 61529 82fc5a6231a2
     1.1 --- a/NEWS	Mon Oct 26 23:42:01 2015 +0000
     1.2 +++ b/NEWS	Tue Oct 27 15:17:02 2015 +0000
     1.3 @@ -459,8 +459,8 @@
     1.4      less_eq_multiset_def
     1.5      INCOMPATIBILITY
     1.6  
     1.7 -* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals and Cauchy's
     1.8 -integral theorem, ported from HOL Light
     1.9 +* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals, Cauchy's
    1.10 +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  and the inside or outside of a set.