Re: [isabelle] Announcing Isabelle2015



Many thanks, as always, to Makarius for organising this release!

Iâd like to take this opportunity to plug my own contributions:

* Complex powers and square roots. 

* New library of properties of the complex transcendental functions sin,
cos, tan, exp, Ln, Arctan, Arcsin, Arccos. Ported from HOL Light.

Larry

> On 26 May 2015, at 19:28, Makarius <makarius at sketis.net> wrote:
> 
> Isabelle2015 is now available.
> 
> This version improves upon Isabelle2014 in many ways, see the NEWS file in
> the distribution for more details. Some important points are as follows.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.