src/Pure/Isar/local_theory.ML

--- a/src/Pure/Isar/local_theory.ML	Fri Aug 31 16:35:30 2012 +0200
+++ b/src/Pure/Isar/local_theory.ML	Fri Aug 31 22:24:14 2012 +0200
@@ -195,7 +195,7 @@
 (* forked proofs *)
 
 val begin_proofs = background_theory (Context.theory_map Thm.begin_proofs);
-val register_proofs = background_theory o Context.theory_map o Thm.register_proofs;
+val register_proofs = background_theory o Thm.register_proofs_thy;
 
 
 (* target contexts *)