--- a/IOA/ROOT.ML Tue Mar 14 09:42:49 1995 +0100
+++ b/IOA/ROOT.ML Tue Mar 14 09:43:12 1995 +0100
@@ -19,4 +19,4 @@
goals_limit := 1;
loadpath := "IOA/meta_theory" :: "IOA/example" :: !loadpath;
-use_thy "Correctness";
+use_thy "Correctness" handle _ => exit 1;