diff -r 7cc639e20cb2 -r 79c1d2bbe5a9 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Apr 29 16:53:08 2010 +0200
+++ b/etc/isar-keywords.el	Thu Apr 29 16:55:22 2010 +0200
@@ -273,6 +273,7 @@
     "values"
     "welcome"
     "with"
+    "write"
     "{"
     "}"))
 
@@ -628,7 +629,8 @@
     "txt"
     "txt_raw"
     "unfolding"
-    "using"))
+    "using"
+    "write"))
 
 (defconst isar-keywords-proof-asm
   '("assume"