diff -r 75407a6f02d2 -r b1cf9189104e src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Sat Sep 03 16:44:17 2005 +0200
+++ b/src/HOLCF/IsaMakefile	Sat Sep 03 16:45:43 2005 +0200
@@ -146,9 +146,8 @@
 
 IOA-Storage: IOA $(LOG)/IOA-Storage.gz
 
-$(LOG)/IOA-Storage.gz: $(OUT)/IOA IOA/Storage/Action.ML \
-  IOA/Storage/Action.thy IOA/Storage/Correctness.ML \
-  IOA/Storage/Correctness.thy IOA/Storage/Impl.ML IOA/Storage/Impl.thy \
+$(LOG)/IOA-Storage.gz: $(OUT)/IOA IOA/Storage/Action.thy IOA/Storage/Correctness.ML \
+  IOA/Storage/Correctness.thy IOA/Storage/Impl.thy \
   IOA/Storage/ROOT.ML IOA/Storage/Spec.thy
 	@cd IOA; $(ISATOOL) usedir $(OUT)/IOA Storage