1.1 --- a/src/Pure/Isar/proof_context.ML	Mon May 03 07:59:51 2010 +0200
     1.2 +++ b/src/Pure/Isar/proof_context.ML	Mon May 03 14:25:56 2010 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  signature PROOF_CONTEXT =
     1.5  sig
     1.6    val theory_of: Proof.context -> theory
     1.7 -  val init: theory -> Proof.context
     1.8 +  val init_global: theory -> Proof.context
     1.9    type mode
    1.10    val mode_default: mode
    1.11    val mode_stmt: mode