NEWS
changeset 61907 f0c894ab18c9
parent 61895 e44d5b953f16
child 61922 a1b697a2f3a8
     1.1 --- a/NEWS	Mon Dec 21 19:08:26 2015 +0100
     1.2 +++ b/NEWS	Tue Dec 22 14:33:34 2015 +0000
     1.3 @@ -596,7 +596,8 @@
     1.4  orders.
     1.5  
     1.6  * Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (= complex path integrals),
     1.7 -Cauchy's integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
     1.8 +Cauchy's integral theorem, winding numbers and Cauchy's integral formula, Liouville theorem,
     1.9 +Fundamental Theorem of Algebra. Ported from HOL Light
    1.10  
    1.11  * Multivariate_Analysis: Added topological concepts such as connected components,
    1.12  homotopic paths and the inside or outside of a set.