[isabelle-dev] NEWS: Cauchy's integral theorem

Larry Paulson lp15 at cam.ac.uk
Tue Jul 28 17:17:45 CEST 2015

Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals and Cauchy's integral theorem,
    ported from HOL Light

There is much more that could be added here, assuming I don’t run out of energy!


More information about the isabelle-dev mailing list