diff -r 17df7145a871 -r 938c6c7e10eb src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Fri Mar 21 10:45:03 2014 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Fri Mar 21 11:06:39 2014 +0100
@@ -120,12 +120,12 @@
 val _ =
   Outer_Syntax.command @{command_spec "syntax"} "add raw syntax clauses"
     (opt_mode -- Scan.repeat1 Parse.const_decl
-      >> (Toplevel.theory o uncurry Sign.add_modesyntax_cmd));
+      >> (Toplevel.theory o uncurry Sign.add_syntax_cmd));
 
 val _ =
   Outer_Syntax.command @{command_spec "no_syntax"} "delete raw syntax clauses"
     (opt_mode -- Scan.repeat1 Parse.const_decl
-      >> (Toplevel.theory o uncurry Sign.del_modesyntax_cmd));
+      >> (Toplevel.theory o uncurry Sign.del_syntax_cmd));
 
 
 (* translations *)