src/Pure/Isar/outer_syntax.ML

 (*Note: the syntax for files is statically determined at the very
   beginning; for interactive processing it may change dynamically.*)
 
 fun get_lexicons () = ! global_lexicons;
 fun get_parsers () = ! global_parsers;
-fun get_parser () = Option.map (#2 o #1) o curry Symtab.lookup (get_parsers ());
+fun get_parser () = Option.map (#2 o #1) o Symtab.curried_lookup (get_parsers ());
 
 fun command_tags name =
-  (case Symtab.lookup (get_parsers (), name) of
+  (case Symtab.curried_lookup (get_parsers ()) name of
     SOME (((_, k), _), _) => OuterKeyword.tags_of k
   | NONE => []);
 
 fun is_markup kind name = (AList.lookup (op =) (! global_markups) name = SOME kind);
 

   (Scan.extend_lexicon lex (map Symbol.explode keywords))));
 
 fun add_parser (Parser (name, (comment, kind, markup), int_only, parse)) tab =
  (if not (Symtab.defined tab name) then ()
   else warning ("Redefined outer syntax command " ^ quote name);
-  Symtab.update ((name, (((comment, kind), (int_only, parse)), markup)), tab));
+  Symtab.curried_update (name, (((comment, kind), (int_only, parse)), markup)) tab);
 
 fun add_parsers parsers =
   (change_parsers (fold add_parser parsers);
     change_lexicons (apsnd (fn lex => Scan.extend_lexicon lex
       (map (fn Parser (name, _, _, _) => Symbol.explode name) parsers))));