Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NameSpace.accesses';
authorwenzelm
Wed, 10 Jul 2002 14:48:08 +0200
changeset 13333 1f5745b76fb8
parent 13332 f130bcf29620
child 13334 27149d72bdff
NameSpace.accesses';
src/HOL/Tools/record_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/record_package.ML	Wed Jul 10 14:47:48 2002 +0200
+++ b/src/HOL/Tools/record_package.ML	Wed Jul 10 14:48:08 2002 +0200
@@ -721,7 +721,7 @@
     (* prepare print translation functions *)
 
     val field_tr's =
-      print_translation (distinct (flat (map NameSpace.accesses (full_moreN :: names))));
+      print_translation (distinct (flat (map NameSpace.accesses' (full_moreN :: names))));
 
 
     (* prepare declarations *)
isabelle