NEWS
changeset 62060 b75764fc4c35
parent 62034 91fcb3bc28bb
child 62064 d9874039786e
     1.1 --- a/NEWS	Tue Jan 05 14:25:12 2016 +0100
     1.2 +++ b/NEWS	Tue Jan 05 15:38:37 2016 +0100
     1.3 @@ -642,6 +642,8 @@
     1.4  * Library/Old_Recdef: discontinued obsolete 'defer_recdef' command.
     1.5  Minor INCOMPATIBILITY, use 'function' instead.
     1.6  
     1.7 +* Library/Periodic_Fun: a locale that provides convenient lemmas for periodic functions
     1.8 +
     1.9  * Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (=
    1.10  complex path integrals), Cauchy's integral theorem, winding numbers and
    1.11  Cauchy's integral formula, Liouville theorem, Fundamental Theorem of
    1.12 @@ -650,6 +652,11 @@
    1.13  * Multivariate_Analysis: Added topological concepts such as connected
    1.14  components, homotopic paths and the inside or outside of a set.
    1.15  
    1.16 +* Multivariate_Analysis: radius of convergence of power series and 
    1.17 +  various summability tests; Harmonic numbers and the Euler–Mascheroni constant;
    1.18 +  the Generalised Binomial Theorem; the complex and real Gamma/log-Gamma/Digamma/
    1.19 +  Polygamma functions and their most important properties;
    1.20 +
    1.21  * Data_Structures: new and growing session of standard data structures.
    1.22  
    1.23  * Imperative_HOL: obsolete theory Legacy_Mrec has been removed.