src/HOLCF/FOCUS/ROOT.ML
changeset 16844 60ab395e6da5
parent 15188 9d57263faf9e
child 24106 f2965bf954dc
--- a/src/HOLCF/FOCUS/ROOT.ML	Thu Jul 14 19:28:25 2005 +0200
+++ b/src/HOLCF/FOCUS/ROOT.ML	Thu Jul 14 19:28:26 2005 +0200
@@ -9,6 +9,6 @@
 val banner = "HOLCF/FOCUS";
 writeln banner;
 
-use_thy "Fstreams";
+with_path "~~/src/HOLCF/ex" use_thy "Fstreams";
 use_thy "FOCUS";
 use_thy "Buffer_adm";