On Thu, 25 Feb 2016, Lawrence Paulson wrote:
More complex analysis including Cauchy's inequality, Liouville theorem, open mapping theorem, maximum modulus principle, Schwarz Lemma.(See theory Conformal_Mappings.)
For the historical record: this refers to Isabelle/86f27b264d3d.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
