--- a/src/ZF/Coind/ROOT.ML Wed Mar 15 10:59:20 1995 +0100
+++ b/src/ZF/Coind/ROOT.ML Wed Mar 15 11:01:08 1995 +0100
@@ -18,4 +18,4 @@
writeln"Root file for ZF/Coind";
proof_timing := true;
loadpath := [".","Coind"];
-time_use_thy "MT" handle _ => exit 1;
+time_use_thy "MT";