1.1 --- a/etc/isar-keywords.el Thu Oct 04 00:53:27 2001 +0200
1.2 +++ b/etc/isar-keywords.el Thu Oct 04 11:22:10 2001 +0200
1.3 @@ -99,6 +99,7 @@
1.4 "print_commands"
1.5 "print_context"
1.6 "print_facts"
1.7 + "print_induct_rules"
1.8 "print_methods"
1.9 "print_simpset"
1.10 "print_syntax"
1.11 @@ -178,6 +179,7 @@
1.12 "hints"
1.13 "in"
1.14 "induction"
1.15 + "infix"
1.16 "infixl"
1.17 "infixr"
1.18 "initially"
1.19 @@ -242,6 +244,7 @@
1.20 "print_commands"
1.21 "print_context"
1.22 "print_facts"
1.23 + "print_induct_rules"
1.24 "print_methods"
1.25 "print_simpset"
1.26 "print_syntax"