--- a/src/Pure/Isar/proof_context.ML Mon Feb 24 13:52:48 2014 +0100
+++ b/src/Pure/Isar/proof_context.ML Mon Feb 24 14:58:40 2014 +0100
@@ -50,7 +50,6 @@
val extern_const: Proof.context -> string -> xstring
val markup_const: Proof.context -> string -> string
val pretty_const: Proof.context -> string -> Pretty.T
- val transfer_syntax: theory -> Proof.context -> Proof.context
val transfer: theory -> Proof.context -> Proof.context
val background_theory: (theory -> theory) -> Proof.context -> Proof.context
val background_theory_result: (theory -> 'a * theory) -> Proof.context -> 'a * Proof.context