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.

	Florian

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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