Re: [isabelle] Isabelle2016-RC0 - zpower_int disappeared
Quite a few redundant copies of general results were removed this time round. A partial list is in the NEWS file. Also, zpower_int has the âwrongâ orientation compared with most similar theorems. You still have the more general of_nat_power.
> On 3 Jan 2016, at 18:01, C. Diekmann <diekmann at in.tum.de> wrote:
> in Int.thy, zpower_int disappeared. Is there a specific reason for this?
This archive was generated by a fusion of
Pipermail (Mailman edition) and