Sure, I'll do that. Tobias
On 05/11/2014 18:36, Lawrence Paulson wrote:
This theory takes quite a while to load, and I have found out why:
text{* A bit of regression testing: *}
lemma "prime(97::nat)" by simp
lemma "prime(997::nat)" by eval
The proof that 97 is prime takes 35 seconds on a very fast machine. Can we get
rid of this or at least substitute a smaller number?
Larry
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
