etc/isar-keywords-ZF.el

--- a/etc/isar-keywords-ZF.el	Wed Aug 25 11:30:45 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Aug 25 14:18:09 2010 +0200
@@ -73,7 +73,6 @@
     "fix"
     "from"
     "full_prf"
-    "global"
     "guess"
     "have"
     "header"
@@ -97,7 +96,6 @@
     "lemmas"
     "let"
     "linear_undo"
-    "local"
     "local_setup"
     "locale"
     "method_setup"
@@ -369,7 +367,6 @@
     "extract"
     "extract_type"
     "finalconsts"
-    "global"
     "hide_class"
     "hide_const"
     "hide_fact"
@@ -378,7 +375,6 @@
     "instantiation"
     "judgment"
     "lemmas"
-    "local"
     "local_setup"
     "locale"
     "method_setup"