--- a/etc/isar-keywords.el Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords.el Sat Dec 09 18:06:17 2006 +0100
@@ -95,6 +95,7 @@
"guess"
"have"
"header"
+ "help"
"hence"
"hide"
"inductive"
@@ -135,6 +136,7 @@
"pretty_setmargin"
"prf"
"primrec"
+ "print_abbrevs"
"print_antiquotations"
"print_ast_translation"
"print_attributes"
@@ -323,11 +325,13 @@
"find_theorems"
"full_prf"
"header"
+ "help"
"kill_thy"
"normal_form"
"pr"
"pretty_setmargin"
"prf"
+ "print_abbrevs"
"print_antiquotations"
"print_attributes"
"print_binds"