--- a/src/Cube/IsaMakefile Sat Sep 03 21:43:12 2005 +0200
+++ b/src/Cube/IsaMakefile Sat Sep 03 21:43:50 2005 +0200
@@ -26,9 +26,7 @@
Pure:
@cd $(SRC)/Pure; $(ISATOOL) make Pure
-$(OUT)/Cube: $(OUT)/Pure Base.ML Base.thy CC.ML CC.thy Cube.thy L2.ML \
- L2.thy Lomega2.ML Lomega2.thy LP.ML LP.thy LP2.ML LP2.thy LPomega.ML \
- LPomega.thy Lomega.ML Lomega.thy ROOT.ML
+$(OUT)/Cube: $(OUT)/Pure Cube.thy ROOT.ML
@$(ISATOOL) usedir -b $(OUT)/Pure Cube
@@ -36,7 +34,7 @@
Cube-ex: Cube $(LOG)/Cube-ex.gz
-$(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.ML ex/ex.thy ex/ROOT.ML
+$(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.thy ex/ROOT.ML
@$(ISATOOL) usedir $(OUT)/Cube ex