diff -r c6bbe56afbf7 -r 2ac646ab2f6c src/Pure/Syntax/syntax.ML
--- a/src/Pure/Syntax/syntax.ML	Tue Apr 03 19:24:18 2007 +0200
+++ b/src/Pure/Syntax/syntax.ML	Tue Apr 03 19:24:19 2007 +0200
@@ -313,7 +313,7 @@
 val basic_nonterms =
   (Lexicon.terminals @ [SynExt.logic, "type", "types", "sort", "classes",
     SynExt.args, SynExt.cargs, "pttrn", "pttrns", "idt", "idts", "aprop",
-    "asms", SynExt.any, SynExt.sprop, "num_const", "index", "struct"]);
+    "asms", SynExt.any_, SynExt.sprop, "num_const", "index", "struct"]);
 
 val appl_syntax =
  [("_appl", "[('b => 'a), args] => logic", Mixfix.Mixfix ("(1_/(1'(_')))", [1000, 0], 1000)),