1.1 --- a/src/Pure/Proof/proof_syntax.ML	Mon May 03 07:59:51 2010 +0200
     1.2 +++ b/src/Pure/Proof/proof_syntax.ML	Mon May 03 14:25:56 2010 +0200
     1.3 @@ -206,7 +206,7 @@
     1.4        |> add_proof_syntax
     1.5        |> add_proof_atom_consts
     1.6          (map (Long_Name.append "axm") axm_names @ map (Long_Name.append "thm") thm_names)
     1.7 -      |> ProofContext.init
     1.8 +      |> ProofContext.init_global
     1.9        |> ProofContext.allow_dummies
    1.10        |> ProofContext.set_mode ProofContext.mode_schematic;
    1.11    in