Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ex/Argo_Examples.thy
changeset 69015 5eb493b51bf6
parent 66301 8a6a89d6cf2b
child 74735 0580ae467ecb 
--- a/src/HOL/ex/Argo_Examples.thy	Tue Sep 18 23:07:34 2018 +0200
+++ b/src/HOL/ex/Argo_Examples.thy	Tue Sep 18 23:18:20 2018 +0200
@@ -619,7 +619,7 @@
 
 subsection \<open>Larger examples\<close>
 
-declare[[argo_trace = basic, argo_timeout = 60]]
+declare[[argo_trace = basic, argo_timeout = 120]]
 
 
 text \<open>Translated from TPTP problem library: PUZ015-2.006.dimacs\<close>
isabelle