--- 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";