src/HOL/IMP/ROOT.ML
changeset 951 682139612060
parent 936 a6d7b4084761
child 1025 23190112d369
--- a/src/HOL/IMP/ROOT.ML	Mon Mar 13 09:42:50 1995 +0100
+++ b/src/HOL/IMP/ROOT.ML	Tue Mar 14 09:47:28 1995 +0100
@@ -19,6 +19,7 @@
 writeln"Root file for CHOL/IMP";
 proof_timing := true;
 loadpath := [".","IMP"];
-time_use_thy "Properties";
-time_use_thy "Equiv";
-time_use_thy "Hoare";
+(time_use_thy "Properties";
+ time_use_thy "Equiv";
+ time_use_thy "Hoare"
+) handle _ => exit 1;