--- a/etc/isar-keywords-HOL-Nominal.el Wed Aug 01 17:03:28 2007 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el Wed Aug 01 18:05:43 2007 +0200
@@ -137,6 +137,7 @@
"print_abbrevs"
"print_antiquotations"
"print_ast_translation"
+ "print_atp_rules"
"print_attributes"
"print_binds"
"print_cases"
@@ -144,6 +145,7 @@
"print_classes"
"print_codesetup"
"print_commands"
+ "print_configs"
"print_context"
"print_drafts"
"print_facts"
@@ -316,6 +318,7 @@
"prf"
"print_abbrevs"
"print_antiquotations"
+ "print_atp_rules"
"print_attributes"
"print_binds"
"print_cases"
@@ -323,6 +326,7 @@
"print_classes"
"print_codesetup"
"print_commands"
+ "print_configs"
"print_context"
"print_drafts"
"print_facts"