changeset 11661 | 37cfa9aad9c0 |
parent 11618 | 7067101463c0 |
child 11746 | 9bf11f1de9d6 |
--- 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"