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/Sledgehammer.thy
changeset 82343 56098b36c49f
parent 82202 a1f85f579a07
child 82360 6a09257afd06 
--- a/src/HOL/Sledgehammer.thy	Tue Mar 25 09:10:44 2025 +0100
+++ b/src/HOL/Sledgehammer.thy	Tue Mar 25 13:42:15 2025 +0100
@@ -7,7 +7,7 @@
 section \<open>Sledgehammer: Isabelle--ATP Linkup\<close>
 
 theory Sledgehammer
-imports Presburger SMT
+imports Presburger SMT Try0
 keywords
   "sledgehammer" :: diag and
   "sledgehammer_params" :: thy_decl
isabelle