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.
fully qualified name: Theory.merge_thy_list;
authorwenzelm
Wed, 01 Oct 1997 17:41:20 +0200
changeset 3765 6a4f3b976db3
parent 3764 fe7719aee219
child 3766 8e1794c4e81b
fully qualified name: Theory.merge_thy_list;
src/Pure/Thy/thy_read.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_read.ML	Wed Oct 01 17:40:09 1997 +0200
+++ b/src/Pure/Thy/thy_read.ML	Wed Oct 01 17:41:20 1997 +0200
@@ -475,7 +475,7 @@
       val mergelist = load_base bases;
 
       val base_thy = (writeln ("Loading theory " ^ (quote child));
-                      merge_thy_list mk_draft (map theory_of mergelist));
+                      Theory.merge_thy_list mk_draft (map theory_of mergelist));
 
       val datas =
         let fun get_data t =
isabelle