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/sign.ML
changeset 59990 a81dc82ecba3
parent 59939 7d46aa03696e
child 61262 7bd1eb4b056e 
--- a/src/Pure/sign.ML	Thu Apr 09 15:54:09 2015 +0200
+++ b/src/Pure/sign.ML	Thu Apr 09 20:42:32 2015 +0200
@@ -113,6 +113,8 @@
   val local_path: theory -> theory
   val private_scope: Binding.scope -> theory -> theory
   val private: Position.T -> theory -> theory
+  val qualified_scope: Binding.scope -> theory -> theory
+  val qualified: Position.T -> theory -> theory
   val concealed: theory -> theory
   val hide_class: bool -> string -> theory -> theory
   val hide_type: bool -> string -> theory -> theory
@@ -525,8 +527,8 @@
 
 val private_scope = map_naming o Name_Space.private_scope;
 val private = map_naming o Name_Space.private;
-val restricted_scope = map_naming o Name_Space.restricted_scope;
-val restricted = map_naming o Name_Space.restricted;
+val qualified_scope = map_naming o Name_Space.qualified_scope;
+val qualified = map_naming o Name_Space.qualified;
 val concealed = map_naming Name_Space.concealed;
isabelle