--- 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>"];