diff -r d6627b50b131 -r c87b7f26e2c7 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Mon May 27 20:09:20 2013 +0200
+++ b/src/Pure/Syntax/printer.ML	Mon May 27 22:26:08 2013 +0200
@@ -10,7 +10,6 @@
   val show_types: bool Config.T
   val show_sorts: bool Config.T
   val show_free_types: bool Config.T
-  val show_all_types: bool Config.T
   val show_markup: bool Config.T
   val show_structs: bool Config.T
   val show_question_marks: bool Config.T
@@ -60,7 +59,6 @@
 val show_sorts = Config.bool show_sorts_raw;
 
 val show_free_types = Config.bool (Config.declare "show_free_types" (fn _ => Config.Bool true));
-val show_all_types = Config.bool (Config.declare "show_all_types" (fn _ => Config.Bool false));
 
 val show_markup_default = Unsynchronized.ref false;
 val show_markup_raw = Config.declare "show_markup" (fn _ => Config.Bool (! show_markup_default));