--- a/src/HOLCF/ex/ROOT.ML Mon May 12 12:10:49 1997 +0200
+++ b/src/HOLCF/ex/ROOT.ML Mon May 12 14:24:31 1997 +0200
@@ -12,7 +12,6 @@
proof_timing := true;
time_use_thy "Classlib";
-time_use_thy "Witness";
time_use_thy "Dnat";
time_use_thy "Dlist";
time_use_thy "Stream";