[isabelle-dev] NEWS: powr

Larry Paulson lp15 at cam.ac.uk
Sun Apr 12 12:44:19 CEST 2015

> * Complex powers and square roots. The functions "ln" and "powr" are now
> overloaded for types real and complex, and 0 powr y = 0 by definition.
> INCOMPATIBILITY: type constraints may be necessary.

But I had to remove support for powr in code generation and the approximation method. If anybody thinks these are priorities for restoration, I guess we only have a few days. The problem with code generation has something to do with types.


More information about the isabelle-dev mailing list