--- a/etc/isar-keywords-ZF.el Wed Dec 05 02:58:04 2001 +0100
+++ b/etc/isar-keywords-ZF.el Wed Dec 05 02:58:45 2001 +0100
@@ -104,6 +104,7 @@
"print_locale"
"print_locales"
"print_methods"
+ "print_rules"
"print_simpset"
"print_syntax"
"print_tcset"
@@ -238,6 +239,7 @@
"print_locale"
"print_locales"
"print_methods"
+ "print_rules"
"print_simpset"
"print_syntax"
"print_tcset"
--- a/etc/isar-keywords.el Wed Dec 05 02:58:04 2001 +0100
+++ b/etc/isar-keywords.el Wed Dec 05 02:58:45 2001 +0100
@@ -106,6 +106,7 @@
"print_locale"
"print_locales"
"print_methods"
+ "print_rules"
"print_simpset"
"print_syntax"
"print_theorems"
@@ -260,6 +261,7 @@
"print_locale"
"print_locales"
"print_methods"
+ "print_rules"
"print_simpset"
"print_syntax"
"print_theorems"