--- a/src/HOLCF/IsaMakefile Sat May 27 21:00:31 2006 +0200
+++ b/src/HOLCF/IsaMakefile Sat May 27 21:18:51 2006 +0200
@@ -139,7 +139,7 @@
IOA-Storage: IOA $(LOG)/IOA-Storage.gz
-$(LOG)/IOA-Storage.gz: $(OUT)/IOA IOA/Storage/Action.thy IOA/Storage/Correctness.ML \
+$(LOG)/IOA-Storage.gz: $(OUT)/IOA IOA/Storage/Action.thy \
IOA/Storage/Correctness.thy IOA/Storage/Impl.thy \
IOA/Storage/ROOT.ML IOA/Storage/Spec.thy
@cd IOA; $(ISATOOL) usedir $(OUT)/IOA Storage
@@ -149,9 +149,7 @@
IOA-ex: IOA $(LOG)/IOA-ex.gz
-$(LOG)/IOA-ex.gz: $(OUT)/IOA IOA/ex/ROOT.ML \
- IOA/ex/TrivEx.thy IOA/ex/TrivEx.ML \
- IOA/ex/TrivEx2.thy IOA/ex/TrivEx2.ML
+$(LOG)/IOA-ex.gz: $(OUT)/IOA IOA/ex/ROOT.ML IOA/ex/TrivEx.thy IOA/ex/TrivEx2.thy
@cd IOA; $(ISATOOL) usedir $(OUT)/IOA ex