# HG changeset patch # User wenzelm # Date 875720480 -7200 # Node ID 6a4f3b976db3fb706f22bd56951055915b53529a # Parent fe7719aee2193785022bf031dee02ca417767416 fully qualified name: Theory.merge_thy_list; diff -r fe7719aee219 -r 6a4f3b976db3 src/Pure/Thy/thy_read.ML --- 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 =