use Check.ML;

--- a/src/HOLCF/IOA/ABP/ROOT.ML	Sat Sep 03 16:46:20 2005 +0200
+++ b/src/HOLCF/IOA/ABP/ROOT.ML	Sat Sep 03 16:46:56 2005 +0200
@@ -7,4 +7,5 @@
 
 goals_limit := 1;
 
+use "Check";
 time_use_thy "Correctness";