pretty_full_theory: proper Syntax.init_pretty_global;

--- a/src/Pure/display.ML	Thu Feb 18 11:23:03 2010 +0100
+++ b/src/Pure/display.ML	Thu Feb 18 20:44:22 2010 +0100
@@ -125,7 +125,7 @@
 
 fun pretty_full_theory verbose thy =
   let
-    val ctxt = ProofContext.init thy;
+    val ctxt = Syntax.init_pretty_global thy;
 
     fun prt_cls c = Syntax.pretty_sort ctxt [c];
     fun prt_sort S = Syntax.pretty_sort ctxt S;