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

The evidence may be clear that removing this simprule corrects the problem, but there is nothing obviously wrong with the rule. The problem may be due to an interaction with some other rule. Is this one really the underlying cause?

Larry Paulson

> On 9 Dec 2016, at 20:38, Florian Haftmann <florian.haftmann at> wrote:
> 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.

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