diff -r 99131847fb93 -r cd0dd6e0bf5c etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Fri Feb 22 11:26:44 2002 +0100
+++ b/etc/isar-keywords-ZF.el	Sun Feb 24 21:44:43 2002 +0100
@@ -161,6 +161,7 @@
     "use"
     "use_thy"
     "use_thy_only"
+    "using"
     "welcome"
     "with"
     "{"
@@ -380,7 +381,8 @@
     "moreover"
     "note"
     "txt"
-    "txt_raw"))
+    "txt_raw"
+    "using"))
 
 (defconst isar-keywords-proof-asm
   '("assume"