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 49062 7e31dfd99ce7
parent 49058 2924a83a4a0b
child 49747 2cf86639b77e 
--- a/src/Pure/global_theory.ML	Sat Sep 01 19:27:28 2012 +0200
+++ b/src/Pure/global_theory.ML	Sat Sep 01 19:43:18 2012 +0200
@@ -124,7 +124,7 @@
 
 (* enter_thms *)
 
-fun register_proofs thms thy = (thms, Thm.register_proofs_thy thms thy);
+fun register_proofs thms thy = (thms, Thm.register_proofs thms thy);
 
 fun enter_thms pre_name post_name app_att (b, thms) thy =
   if Binding.is_empty b
isabelle