tuned to make non-Poly/MLs happy;

--- a/src/HOLCF/ROOT.ML	Tue Nov 04 16:49:35 1997 +0100
+++ b/src/HOLCF/ROOT.ML	Tue Nov 04 16:57:52 1997 +0100
@@ -14,8 +14,8 @@
 
 use_thy "HOLCF";
 
-use "HOLCFLogic";
-use "contconsts";
+use "HOLCFLogic.ML";
+use "contconsts.ML";
 
 (* domain package *)
 use "domain/library.ML";