--- a/NEWS Mon Dec 21 19:08:26 2015 +0100
+++ b/NEWS Tue Dec 22 14:33:34 2015 +0000
@@ -596,7 +596,8 @@
orders.
* 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
+Cauchy's integral theorem, winding numbers and Cauchy's integral formula, Liouville theorem,
+Fundamental Theorem of Algebra. Ported from HOL Light
* Multivariate_Analysis: Added topological concepts such as connected components,
homotopic paths and the inside or outside of a set.