# HG changeset patch
# User wenzelm
# Date 1002187330 -7200
# Node ID 37cfa9aad9c0d4579ba7b98bf54149152c0b1f1e
# Parent  780ffc4d4600e6db29157e410748303e0f36a88e
updated;

diff -r 780ffc4d4600 -r 37cfa9aad9c0 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Oct 04 00:53:27 2001 +0200
+++ b/etc/isar-keywords.el	Thu Oct 04 11:22:10 2001 +0200
@@ -99,6 +99,7 @@
     "print_commands"
     "print_context"
     "print_facts"
+    "print_induct_rules"
     "print_methods"
     "print_simpset"
     "print_syntax"
@@ -178,6 +179,7 @@
     "hints"
     "in"
     "induction"
+    "infix"
     "infixl"
     "infixr"
     "initially"
@@ -242,6 +244,7 @@
     "print_commands"
     "print_context"
     "print_facts"
+    "print_induct_rules"
     "print_methods"
     "print_simpset"
     "print_syntax"