diff -r 360fa2caaf2f -r 4d4cde714500 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Dec 09 18:06:17 2006 +0100
@@ -85,6 +85,7 @@
     "guess"
     "have"
     "header"
+    "help"
     "hence"
     "hide"
     "inductive"
@@ -122,6 +123,7 @@
     "pretty_setmargin"
     "prf"
     "primrec"
+    "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
@@ -284,11 +286,13 @@
     "find_theorems"
     "full_prf"
     "header"
+    "help"
     "kill_thy"
     "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"
+    "print_abbrevs"
     "print_antiquotations"
     "print_attributes"
     "print_binds"