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_prover_tactic.ML
changeset 82371 971613edfb94
parent 82369 eae75676ecd7
child 82372 2db8a047b52c 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_tactic.ML	Fri Mar 28 16:17:39 2025 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_tactic.ML	Fri Mar 28 16:20:48 2025 +0100
@@ -107,8 +107,7 @@
             let
               val xref =
                 if is_cartouche name then
-                  (* Facts.Fact (Thm.string_of_thm ctxt thm |> @{print}) *)
-                  Facts.Fact (Pretty.pure_string_of (Thm.pretty_thm ctxt thm) |> @{print})
+                  Facts.Fact (Pretty.pure_string_of (Thm.pretty_thm ctxt thm))
                 else
                   Facts.named name
             in
isabelle