src/HOLCF/ex/ROOT.ML

--- a/src/HOLCF/ex/ROOT.ML	Fri Oct 06 16:17:08 1995 +0100
+++ b/src/HOLCF/ex/ROOT.ML	Fri Oct 06 17:25:24 1995 +0100
@@ -10,10 +10,9 @@
 
 writeln"Root file for HOLCF examples";
 proof_timing := true;
-time_use_thy "ex/Coind";
 time_use_thy "ex/Hoare";
 time_use_thy "ex/Loop";
-time_use_thy "ex/Dagstuhl";
+time_use_thy "ex/Fix2";
 time_use "ex/loeckx.ML";
 
 maketest     "END: Root file for HOLCF examples";