src/HOL/Import/import_syntax.ML

 val set_dump  = P.string -- P.string   >> setup_dump
 fun fl_dump toks  = Scan.succeed flush_dump toks
 val append_dump = (P.verbatim || P.string) >> add_dump
 
 fun setup () =
-  (OuterSyntax.keywords[">"];
+  (OuterKeyword.keyword ">";
    OuterSyntax.command "import_segment"
 		       "Set import segment name"
 		       K.thy_decl (import_segment >> Toplevel.theory);
    OuterSyntax.command "import_theory"
 		       "Set default HOL4 theory name"