etc/isar-keywords-ZF.el

--- a/etc/isar-keywords-ZF.el	Mon Aug 13 21:22:36 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Aug 13 21:22:37 2007 +0200
@@ -110,7 +110,6 @@
     "no_syntax"
     "no_translations"
     "nonterminals"
-    "normal_form"
     "notation"
     "note"
     "obtain"
@@ -202,7 +201,6 @@
     "undo"
     "undos_proof"
     "unfolding"
-    "update_thy"
     "use"
     "use_thy"
     "using"
@@ -241,6 +239,7 @@
     "infixr"
     "intros"
     "is"
+    "module_name"
     "monos"
     "notes"
     "obtains"
@@ -250,7 +249,6 @@
     "recursor_eqns"
     "shows"
     "structure"
-    "to"
     "type_elims"
     "type_intros"
     "unchecked"
@@ -290,7 +288,6 @@
     "header"
     "help"
     "kill_thy"
-    "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"
@@ -332,7 +329,6 @@
     "touch_child_thys"
     "touch_thy"
     "typ"
-    "update_thy"
     "use"
     "use_thy"
     "value"