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.
increase "auto"'s timeout in example to help SML/NJ
authorblanchet
Wed, 20 Apr 2011 10:14:24 +0200
changeset 42421 6bc725d60593
parent 42420 8a09dfeb2cec
child 42422 6a2837ddde4b
increase "auto"'s timeout in example to help SML/NJ
src/HOL/Nitpick_Examples/Manual_Nits.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 20 07:44:23 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 20 10:14:24 2011 +0200
@@ -70,7 +70,7 @@
 oops
 
 lemma "\<forall>n. Suc n \<noteq> n \<Longrightarrow> P"
-nitpick [card nat = 100, check_potential, expect = genuine]
+nitpick [card nat = 100, check_potential, tac_timeout = 5, expect = genuine]
 oops
 
 lemma "P Suc"
isabelle