src/Pure/Isar/spec_rules.ML

--- a/src/Pure/Isar/spec_rules.ML	Sat Feb 17 20:03:37 2018 +0100
+++ b/src/Pure/Isar/spec_rules.ML	Sun Feb 18 15:05:21 2018 +0100
@@ -57,7 +57,7 @@
 
 fun retrieve_generic context =
   Item_Net.retrieve (Rules.get context)
-  #> (map o apsnd o apsnd o map) (Thm.transfer (Context.theory_of context));
+  #> (map o apsnd o apsnd o map) (Thm.transfer'' context);
 
 val retrieve = retrieve_generic o Context.Proof;
 val retrieve_global = retrieve_generic o Context.Theory;