diff -r 5c9be0158a04 -r 6e20bf579edb src/HOLCF/ex/ROOT.ML
--- 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";