> * 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. Larry _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
