The proof that 97 is prime only takes 1.3s on my machine (2.7 GHz i7),
with the whole theory Primes loading in about 4 seconds.
On Wed, Nov 5, 2014 at 8:37 PM, Florian Haftmann
wrote:
>> This theory takes quite a while to load, and I have found out why:
>>
>> text{* A bit of regression testing: *
t trying, however) your suggested changes would break some
> AFP entries.
>
> Instead I suggest the attached changes (the order of patches is to be found
> in "series") which are tested against
> Isabelle: 9239a33935c6 and
> AFP: 42be0138cfe5
>
> Thanks for spotting t