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



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.


	Makarius


Attachment: signature.asc
Description: OpenPGP digital signature



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