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

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

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