etc/isar-keywords-ZF.el

     "use"
     "use_thy"
     "using"
     "welcome"
     "with"
+    "write"
     "{"
     "}"))
 
 (defconst isar-keywords-minor
   '("advanced"

     "moreover"
     "note"
     "txt"
     "txt_raw"
     "unfolding"
-    "using"))
+    "using"
+    "write"))
 
 (defconst isar-keywords-proof-asm
   '("assume"
     "case"
     "def"