Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/isar_thy.ML
changeset 12271 37b9c807b461
parent 12244 179f142ffb03
child 12318 72348ff7d4a0 
--- a/src/Pure/Isar/isar_thy.ML	Thu Nov 22 23:44:30 2001 +0100
+++ b/src/Pure/Isar/isar_thy.ML	Thu Nov 22 23:44:57 2001 +0100
@@ -188,7 +188,7 @@
   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
isabelle