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

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

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