diff -r 213b7341abb6 -r 9dc194c479aa src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Sat Jan 28 17:28:55 2006 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Sat Jan 28 17:28:56 2006 +0100
@@ -847,9 +847,9 @@
 val _ = OuterSyntax.add_keywords
  ["!", "!!", "%", "(", ")", "+", ",", "--", ":", "::", ";", "<", "<=",
   "=", "==", "=>", "?", "[", "]", "advanced", "and", "assumes",
-  "begin", "binder", "concl", "constrains", "defines", "files",
-  "fixes", "imports", "in", "includes", "infix", "infixl", "infixr",
-  "is", "notes", "open", "output", "overloaded", "shows", "structure",
+  "begin", "binder", "concl", "constrains", "defines", "fixes",
+  "imports", "in", "includes", "infix", "infixl", "infixr", "is",
+  "notes", "open", "output", "overloaded", "shows", "structure",
   "uses", "where", "|", "\\<equiv>", "\\<leftharpoondown>",
   "\\<rightharpoonup>", "\\<rightleftharpoons>", "\\<subseteq>"];