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

[Larry Paulson]

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!

Larry

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev