src/Sequents/ex/ROOT.ML

--- a/src/Sequents/ex/ROOT.ML	Thu Mar 20 18:27:23 1997 +0100
+++ b/src/Sequents/ex/ROOT.ML	Thu Mar 20 18:28:05 1997 +0100
@@ -1,4 +1,10 @@
 
-use "ex/LK/ROOT.ML";
-use "ex/ILL/ROOT.ML";
-use "ex/Modal/ROOT.ML";
+writeln"Root file for Sequents examples";
+Sequents_build_completed;
+
+use "LK/ROOT.ML";
+use "ILL/ROOT.ML";
+use "Modal/ROOT.ML";
+
+OS.FileSys.chDir "..";
+maketest"END: Root file for Sequents examples";