--- 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";