# HG changeset patch
# User wenzelm
# Date 1007517525 -3600
# Node ID a90156701dade7e1fbc00cf5901f20cc2b3f446a
# Parent  108cdda23ab3f0b4ad9c647ef087457c506a1f56
updated;

diff -r 108cdda23ab3 -r a90156701dad etc/isar-keywords-ZF.el
--- 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"
diff -r 108cdda23ab3 -r a90156701dad etc/isar-keywords.el
--- 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"