src/Pure/Isar/isar_thy.ML

   val typed_print_translation: string * Comment.text -> theory -> theory
   val print_ast_translation: string * Comment.text -> theory -> theory
   val token_translation: string * Comment.text -> theory -> theory
   val method_setup: (bstring * string * string) * Comment.text -> theory -> theory
   val add_oracle: (bstring * string) * Comment.text -> theory -> theory
-  val add_locale: bstring * xstring list * (Args.src Locale.element * Comment.text) list
+  val add_locale: bstring * Locale.expr * (Args.src Locale.element * Comment.text) list
     -> theory -> theory
   val begin_theory: string -> string list -> (string * bool) list -> theory
   val end_theory: theory -> theory
   val kill_theory: string -> unit
   val theory: string * string list * (string * bool) list