dropped redundant name declarations

--- a/src/Tools/Code/code_ml.ML	Mon Jan 04 14:09:56 2010 +0100
+++ b/src/Tools/Code/code_ml.ML	Mon Jan 04 14:09:57 2010 +0100
@@ -481,8 +481,6 @@
               let
                 val consts = fold Code_Thingol.add_constnames (t :: ts) [];
                 val vars = reserved
-                  |> intro_base_names
-                      (is_none o syntax_const) deresolve consts
                   |> intro_vars ((fold o Code_Thingol.fold_varnames)
                       (insert (op =)) ts []);
               in concat [