src/Cube/IsaMakefile
changeset 11260 b736de4cb913
parent 4583 6d9be46ea566
child 17252 e352f65d5893
--- a/src/Cube/IsaMakefile	Thu Apr 19 13:36:07 2001 +0200
+++ b/src/Cube/IsaMakefile	Thu Apr 19 15:42:53 2001 +0200
@@ -27,7 +27,7 @@
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
 $(OUT)/Cube: $(OUT)/Pure Base.ML Base.thy CC.ML CC.thy Cube.thy L2.ML \
-  L2.thy LOmega.ML LOmega.thy LP.ML LP.thy LP2.ML LP2.thy LPomega.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
 	@$(ISATOOL) usedir -b $(OUT)/Pure Cube