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

    "lemmas"
    "let"
    "local"
    "method_setup"
    "moreover"
    "next"

    "print_context"
    "print_facts"
    "print_induct_rules"
    "print_locale"
    "print_locales"
    "print_methods"
    "print_simpset"
    "print_syntax"
