diff -r c6664770ef6c -r 25696ce6dff1 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Oct 16 23:12:58 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Oct 17 11:53:35 2007 +0200
@@ -230,7 +230,6 @@
     "infixr"
     "intros"
     "is"
-    "local_syntax"
     "monos"
     "notes"
     "obtains"