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



On 12/08/2016 05:59 PM, Florian Haftmann wrote:
Hi all,

after a short chat with Manuel I was able to pin down the offending simp rule.

But I have to check first whether this causes any breakdown in the distro.

Cheers,
	Florian

Hi Florian and Manuel,

thanks for looking into this. I can confirm that locally deleting the prime_dvd_mult_iff rule
solves the problem with my theory.

Greetings,
Stefan




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