Re: [isabelle] [Isabelle2016-1-RC4] Simplification of numerals very slow when Primes is imported

Am 10.12.2016 um 12:16 schrieb Makarius:
> On 09/12/16 21:38, Florian Haftmann wrote:
>> Last round of refinementâ
>> I am still at a loss to explain why this obviously somehow evil simp
>> rule did not result in such a mess in earlier releases and hence I am
>> uncertain whether we should really attempt to resolved this now.
> How is the situation concerning the Isabelle2016-1 release? The original
> plan was to make the final snapshot on Monday. If another change is
> coming, we need to respin, i.e. make a new release candidate.

At the moment I am inclined to leave things as they are and have a close
look after the release.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.