--- a/src/Pure/Isar/isar_syn.ML Mon Aug 16 14:22:27 2004 +0200
+++ b/src/Pure/Isar/isar_syn.ML Mon Aug 16 17:06:47 2004 +0200
@@ -754,8 +754,8 @@
val keywords =
["!", "!!", "%", "%%", "(", ")", "+", ",", "--", ":", "::", ";", "<",
- "<=", "=", "==", "=>", "?", "[", "]", "advanced", "and", "assumes",
- "binder", "concl", "defines", "files", "fixes", "in", "includes",
+ "<=", "=", "==", "=>", "?", "[", "]", "advanced", "and", "assumes", "begin",
+ "binder", "concl", "defines", "files", "fixes", "import", "in", "includes",
"infix", "infixl", "infixr", "is", "notes", "open", "output",
"overloaded", "shows", "structure", "where", "|", "\\<equiv>",
"\\<leftharpoondown>", "\\<rightharpoonup>",