use: explicit .ML;

--- a/src/HOLCF/IOA/ABP/ROOT.ML	Sat May 24 14:47:43 2008 +0200
+++ b/src/HOLCF/IOA/ABP/ROOT.ML	Sat May 24 20:05:21 2008 +0200
@@ -7,5 +7,5 @@
 
 goals_limit := 1;
 
-use "Check";
+use "Check.ML";
 time_use_thy "Correctness";