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.

Larry Paulson

> On 3 Jan 2016, at 18:01, C. Diekmann <diekmann at> 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 MHonArc.