     "print_commands"
     "print_context"
     "print_facts"
+    "print_induct_rules"
     "print_methods"
     "print_simpset"
     "print_syntax"

    "print_commands"
    "print_context"
    "print_facts"
    "print_methods"
    "print_simpset"
    "print_syntax"

    "hints"
    "in"
    "induction"
    "infix"
    "infixl"
    "infixr"
    "initially"
