--- a/IOA/ROOT.ML Thu Apr 06 11:24:11 1995 +0200
+++ b/IOA/ROOT.ML Thu Apr 06 11:27:54 1995 +0200
@@ -19,4 +19,4 @@
goals_limit := 1;
loadpath := "IOA/meta_theory" :: "IOA/example" :: !loadpath;
-use_thy "Correctness" handle _ => exit 1;
+use_thy "Correctness";