diff -r bd4965bb7bdc -r 6fda94059baa src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Tue Aug 03 16:48:36 2010 +0200
+++ b/src/HOLCF/IsaMakefile	Tue Aug 03 16:57:45 2010 +0200
@@ -107,8 +107,8 @@
   Library/Strict_Fun.thy \
   Library/Sum_Cpo.thy \
   Library/HOLCF_Library.thy \
-  Library/HOLCF_Library_ROOT.ML
-	@$(ISABELLE_TOOL) usedir -f HOLCF_Library_ROOT.ML $(OUT)/HOLCF Library
+  Library/ROOT.ML
+	@$(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library
 
 
 ## HOLCF-IMP