--- a/src/HOLCF/FOCUS/ROOT.ML Fri Apr 09 16:31:15 2004 +0200
+++ b/src/HOLCF/FOCUS/ROOT.ML Mon Apr 12 12:18:48 2004 +0200
@@ -9,7 +9,5 @@
val banner = "HOLCF/FOCUS";
writeln banner;
-path_add "~~/src/HOLCF/ex";
-
use_thy "FOCUS";
use_thy "Buffer_adm";