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.
> 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