diff -r 97e2565f13e8 -r e4cccc2dec54 IMP/ROOT.ML
--- a/IMP/ROOT.ML	Mon Mar 13 09:41:20 1995 +0100
+++ b/IMP/ROOT.ML	Tue Mar 14 09:42:49 1995 +0100
@@ -17,5 +17,6 @@
 writeln"Root file for HOL/IMP";
 proof_timing := true;
 loadpath := [".","IMP"];
-time_use_thy "Properties";
-time_use_thy "Equiv";
+(time_use_thy "Properties";
+ time_use_thy "Equiv"
+)  handle _ => exit 1;