standardized pretty printing of consts (e.g. see find_theorems, print_theory);

--- a/src/Pure/Tools/find_consts.ML	Wed Aug 11 18:03:02 2010 +0200
+++ b/src/Pure/Tools/find_consts.ML	Wed Aug 11 18:10:39 2010 +0200
@@ -60,8 +60,7 @@
     val ty' = Logic.unvarifyT_global ty;
   in
     Pretty.block
-     [Pretty.quote (Pretty.str nm), Pretty.fbrk,
-      Pretty.str "::", Pretty.brk 1,
+     [Pretty.str nm, Pretty.str " ::", Pretty.brk 1,
       Pretty.quote (Syntax.pretty_typ ctxt ty')]
   end;