On Tue, 28 Jul 2015, Larry Paulson wrote:
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!
What is your estimate of the percentage of all material by John Harrison
in HOL-Light that has been ported to Isabelle/HOL already?
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
