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