--- a/src/HOL/UNITY/ROOT.ML Wed Oct 18 23:41:28 2000 +0200
+++ b/src/HOL/UNITY/ROOT.ML Wed Oct 18 23:42:18 2000 +0200
@@ -25,7 +25,6 @@
time_use_thy "PPROD";
time_use_thy "TimerArray";
-add_path "../Induct";
time_use_thy "Alloc";
time_use_thy "AllocImpl";
time_use_thy "Client";