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/Tools/try0.ML
changeset 51557 4e4b56b7a3a5
parent 51383 50fb0f35a14f
child 52006 9402221f77dd 
--- a/src/HOL/Tools/try0.ML	Wed Mar 27 17:55:21 2013 +0100
+++ b/src/HOL/Tools/try0.ML	Wed Mar 27 17:58:07 2013 +0100
@@ -156,6 +156,7 @@
 fun try0 timeout_opt = fst oo do_try0 Normal timeout_opt
 
 fun try0_trans quad =
+  Toplevel.unknown_proof o
   Toplevel.keep (K () o do_try0 Normal (SOME default_timeout) quad
                  o Toplevel.proof_of)
isabelle