diff -r d4417ba26706 -r bf352c4c499b etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Wed Jul 25 22:20:53 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Jul 25 22:20:54 2007 +0200
@@ -202,10 +202,8 @@
     "undos_proof"
     "unfolding"
     "update_thy"
-    "update_thy_only"
     "use"
     "use_thy"
-    "use_thy_only"
     "using"
     "value"
     "welcome"
@@ -333,10 +331,8 @@
     "touch_thy"
     "typ"
     "update_thy"
-    "update_thy_only"
     "use"
     "use_thy"
-    "use_thy_only"
     "value"
     "welcome"))