Re: [isabelle] [Isabelle2016-1-RC4] Simplification of numerals very slow when Primes is imported
On 12/08/2016 05:59 PM, Florian Haftmann wrote:
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.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and