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_preplay.ML
changeset 52031 9a9238342963
parent 51998 f732a674db1b
child 52125 ac7830871177 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_preplay.ML	Thu May 16 13:19:27 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_preplay.ML	Thu May 16 13:34:13 2013 +0200
@@ -36,7 +36,7 @@
 
 fun add_preplay_time (b1, t1) (b2, t2) = (b1 orelse b2, Time.+(t1,t2))
 
-val string_of_preplay_time = ATP_Util.string_from_ext_time
+val string_of_preplay_time = ATP_Util.string_of_ext_time
 
 (* preplay tracing *)
 fun preplay_trace ctxt assms concl time =
isabelle