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/Mirabelle/Tools/mirabelle_arith.ML
changeset 32518 e3c4e337196c
parent 32515 e7c0d3c0494a
child 32521 f20cc66b2c74 
--- a/src/HOL/Mirabelle/Tools/mirabelle_arith.ML	Fri Sep 04 10:58:50 2009 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_arith.ML	Fri Sep 04 13:57:56 2009 +0200
@@ -9,7 +9,7 @@
   if Mirabelle.can_apply timeout Arith_Data.arith_tac pre
   then log "arith: succeeded"
   else ()
-  handle TimeLimit.TimeOut => log "arith: time out"
+  handle TimeLimit.TimeOut => log "arith: timeout"
 
 fun invoke _ = Mirabelle.register (Mirabelle.catch "arith: " arith_action)
isabelle