etc/isar-keywords.el
changeset 12365 a90156701dad
parent 12342 06751df904fb
child 12926 cd0dd6e0bf5c
--- 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"