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_util.ML
changeset 62969 9f394a16c557
parent 62826 eb94e570c1a4
child 63692 1bc4bc2c9fd1 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_util.ML	Wed Apr 13 17:00:02 2016 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_util.ML	Wed Apr 13 18:01:05 2016 +0200
@@ -129,7 +129,7 @@
     |> Symbol.source
     |> Token.source keywords Position.start
     |> Token.source_proper
-    |> Source.source Token.stopper (Parse.xthms1 >> get)
+    |> Source.source Token.stopper (Parse.thms1 >> get)
     |> Source.exhaust
   end
isabelle