src/Pure/thm.ML

--- a/src/Pure/thm.ML	Tue Mar 11 13:58:22 2014 +0100
+++ b/src/Pure/thm.ML	Tue Mar 11 14:28:39 2014 +0100
@@ -1743,7 +1743,7 @@
 );
 
 fun extern_oracles ctxt =
-  map #1 (Name_Space.extern_table ctxt (Oracles.get (Proof_Context.theory_of ctxt)));
+  map #1 (Name_Space.markup_table ctxt (Oracles.get (Proof_Context.theory_of ctxt)));
 
 fun add_oracle (b, oracle) thy =
   let