summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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.