Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reverted 1ebf0a1f12a4 after successful re-tuning of simp rules for divisibility
authorhaftmann
Sun, 09 Nov 2014 10:03:18 +0100
changeset 58954 18750e86d5b8
parent 58953 2e19b392d9e3
child 58955 1694bad18568
reverted 1ebf0a1f12a4 after successful re-tuning of simp rules for divisibility
src/HOL/Number_Theory/Primes.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Number_Theory/Primes.thy	Sun Nov 09 10:03:17 2014 +0100
+++ b/src/HOL/Number_Theory/Primes.thy	Sun Nov 09 10:03:18 2014 +0100
@@ -154,7 +154,7 @@
 
 text{* A bit of regression testing: *}
 
-lemma "prime(7::nat)" by simp
+lemma "prime(97::nat)" by simp
 lemma "prime(997::nat)" by eval
isabelle