--- a/src/Modal/ROOT.ML Mon Nov 15 14:41:25 1993 +0100
+++ b/src/Modal/ROOT.ML Tue Nov 16 14:10:19 1993 +0100
@@ -7,9 +7,7 @@
val banner = "Modal Logic (over LK)";
writeln banner;
-set_loadpath [".", "../LK"];
-
-use_thy "modal0";
+use_thy "Modal0";
structure Modal0_rls =
struct