     "lemmas"
     "let"
     "local"
+    "locale"
     "method_setup"
     "moreover"
     "next"

    "print_context"
    "print_facts"
    "print_induct_rules"
    "print_methods"
    "print_simpset"
    "print_syntax"

    "judgment"
    "lemmas"
    "local"
    "locale"
    "method_setup"
    "nonterminals"
    "oracle"
