etc/isar-keywords-ZF.el

--- a/etc/isar-keywords-ZF.el	Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Feb 10 09:26:06 2007 +0100
@@ -49,6 +49,7 @@
     "code_moduleprolog"
     "code_monad"
     "code_reserved"
+    "code_thms"
     "code_type"
     "coinductive"
     "commit"
@@ -129,7 +130,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"
@@ -227,6 +228,7 @@
     "file"
     "fixes"
     "for"
+    "identifier"
     "if"
     "imports"
     "in"
@@ -274,6 +276,7 @@
     "cd"
     "class_deps"
     "code_gen"
+    "code_thms"
     "commit"
     "disable_pr"
     "display_drafts"
@@ -294,7 +297,7 @@
     "print_cases"
     "print_claset"
     "print_classes"
-    "print_codethms"
+    "print_codesetup"
     "print_commands"
     "print_context"
     "print_drafts"