--- a/etc/isar-keywords-HOL-Nominal.el Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el Sat Dec 09 18:06:17 2006 +0100
@@ -91,6 +91,7 @@
"guess"
"have"
"header"
+ "help"
"hence"
"hide"
"inductive"
@@ -305,6 +306,7 @@
"find_theorems"
"full_prf"
"header"
+ "help"
"kill_thy"
"normal_form"
"pr"
--- 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"
--- 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"