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/Pure/global_theory.ML
changeset 81535 db073d1733ab
parent 81534 c32ebdcbe8ca 
--- a/src/Pure/global_theory.ML	Mon Dec 02 11:22:44 2024 +0100
+++ b/src/Pure/global_theory.ML	Mon Dec 02 11:36:53 2024 +0100
@@ -89,7 +89,7 @@
   |> maps (fn (name, thms) => Thm_Name.list (name, Position.none) thms);
 
 fun pretty_thm_name ctxt =
-  Facts.pretty_thm_name (Context.Proof ctxt) (facts_of (Proof_Context.theory_of ctxt));
+  Facts.pretty_thm_name ctxt (facts_of (Proof_Context.theory_of ctxt));
 
 val print_thm_name = Pretty.string_of oo pretty_thm_name;
isabelle