| changeset 60809 | 457abb82fb9e |
| parent 60802 | 067658d63c5d |
| child 60841 | 144523e0678e |
--- a/NEWS Tue Jul 28 13:00:54 2015 +0200 +++ b/NEWS Tue Jul 28 16:16:13 2015 +0100 @@ -240,6 +240,9 @@ less_eq_multiset_def INCOMPATIBILITY +* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals and Cauchy's integral theorem, + ported from HOL Light + * Theory Library/Old_Recdef: discontinued obsolete 'defer_recdef' command. Minor INCOMPATIBILITY, use 'function' instead.