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

NEWS

changeset 61848 | 9250e546ab23 |

parent 61841 | 4d3527b94f2a |

child 61859 | 76189756ff65 |

child 61887 | acdfc76a6c33 |

1.1 --- a/NEWS Mon Dec 14 14:05:31 2015 +0100 1.2 +++ b/NEWS Tue Dec 15 14:40:36 2015 +0000 1.3 @@ -594,8 +594,8 @@ 1.4 fixpoint theorem for increasing functions in chain-complete partial 1.5 orders. 1.6 1.7 -* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals, Cauchy's 1.8 -integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light 1.9 +* Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (= complex path integrals), 1.10 +Cauchy's 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 homotopic paths and the inside or outside of a set.