# HG changeset patch
# User lcp
# Date 795261668 -3600
# Node ID 28a48c44ca571e2de9e13c88313fcbe6a4385c2f
# Parent  cc929b9ddc80e3fc1a35dca14cad3c1eb2237954
Removed exception handlers, as they are now in ZF/Makefile.

diff -r cc929b9ddc80 -r 28a48c44ca57 src/ZF/Coind/ROOT.ML
--- 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";
diff -r cc929b9ddc80 -r 28a48c44ca57 src/ZF/IMP/ROOT.ML
--- a/src/ZF/IMP/ROOT.ML	Wed Mar 15 10:59:20 1995 +0100
+++ b/src/ZF/IMP/ROOT.ML	Wed Mar 15 11:01:08 1995 +0100
@@ -17,4 +17,4 @@
 writeln"Root file for ZF/IMP";
 proof_timing := true;
 loadpath := [".","IMP"];
-time_use_thy "Equiv" handle _ => exit 1;
+time_use_thy "Equiv";