consts: syntax consts only for actual syntax;

--- a/src/Pure/sign.ML	Thu Sep 28 23:42:55 2006 +0200
+++ b/src/Pure/sign.ML	Thu Sep 28 23:42:56 2006 +0200
@@ -733,7 +733,6 @@
   in
     thy
     |> map_consts (fold (Consts.declare (naming_of thy) o #1) args)
-    |> map_syn (Syntax.extend_consts (map (#1 o #1 o #1) args))
     |> add_syntax_i (map #2 args)
   end;
 
@@ -761,7 +760,6 @@
   in
     thy
     |> map_consts (Consts.abbreviate (pp thy) (tsig_of thy) (naming_of thy) mode ((c, t), true))
-    |> map_syn (Syntax.extend_consts [c])
     |> add_modesyntax_i (mode, inout) [(c', T, mx)]
   end);