Now sets loadpath.

--- a/src/CCL/ex/ROOT.ML	Thu Apr 06 10:53:21 1995 +0200
+++ b/src/CCL/ex/ROOT.ML	Thu Apr 06 10:55:06 1995 +0200
@@ -10,6 +10,8 @@
 
 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";