src/CCL/ex/ROOT.ML

--- a/src/CCL/ex/ROOT.ML	Tue Nov 21 12:41:52 1995 +0100
+++ b/src/CCL/ex/ROOT.ML	Tue Nov 21 12:43:09 1995 +0100
@@ -10,13 +10,11 @@
 
 writeln"Root file for CCL examples";
 proof_timing := true;
-loadpath := [".", "ex"];
 
-time_use_thy "ex/Nat";
-time_use_thy "ex/List";
-time_use_thy "ex/Stream";
-time_use_thy "ex/Flag";
+time_use_thy "Nat";
+time_use_thy "List";
+time_use_thy "Stream";
+time_use_thy "Flag";
 
-make_chart ();   (*make HTML chart*)
-
+cd "..";
 maketest"END: Root file for CCL examples";