[isabelle-dev] NEWS

Makarius makarius at sketis.net
Thu Feb 25 15:44:34 CET 2016

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.


More information about the isabelle-dev mailing list