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/Sledgehammer/sledgehammer_minimize.ML
changeset 39262 bdfcf2434601
parent 39005 42fcb25de082
child 39318 ad9a1f9b0558 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_minimize.ML	Thu Sep 09 14:47:06 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_minimize.ML	Thu Sep 09 16:06:11 2010 +0200
@@ -31,6 +31,7 @@
 
 fun string_for_failure Unprovable = "Unprovable."
   | string_for_failure TimedOut = "Timed out."
+  | string_for_failure Interrupted = "Interrupted."
   | string_for_failure _ = "Unknown error."
 
 fun n_theorems names =
isabelle