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.
commit;
authorwenzelm
Tue, 21 Oct 1997 17:48:06 +0200
changeset 3966 b06face07498
parent 3965 1d7b53e6a2cb
child 3967 edd5ff9371f8
commit;
src/Pure/Thy/thy_read.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_read.ML	Tue Oct 21 17:47:50 1997 +0200
+++ b/src/Pure/Thy/thy_read.ML	Tue Oct 21 17:48:06 1997 +0200
@@ -476,7 +476,7 @@
 
       val base_thy =
        (writeln ("Loading theory " ^ quote child);
-        Theory.merge_list (map theory_of mergelist));
+        Theory.prep_ext_merge (map theory_of mergelist));
 
       val datas =
         let fun get_data t =
isabelle