src/Pure/General/name_space.ML

   NameSpace of (string list * string list) Symtab.table;
 
 val empty = NameSpace Symtab.empty;
 
 fun lookup (NameSpace tab) xname =
-  (case Symtab.curried_lookup tab xname of
+  (case Symtab.lookup tab xname of
     NONE => (xname, true)
   | SOME ([], []) => (xname, true)
   | SOME ([name], _) => (name, true)
   | SOME (name :: _, _) => (name, false)
   | SOME ([], name' :: _) => (hidden name', true));

 
 
 (* basic operations *)
 
 fun map_space f xname (NameSpace tab) =
-  NameSpace (Symtab.curried_update (xname, f (if_none (Symtab.curried_lookup tab xname) ([], []))) tab);
+  NameSpace (Symtab.update (xname, f (if_none (Symtab.lookup tab xname) ([], []))) tab);
 
 fun del (name: string) = remove (op =) name;
 fun add name names = name :: del name names;
 
 val del_name = map_space o apfst o del;