src/Sequents/IsaMakefile
changeset 7098 86583034aacf
parent 6252 935f183bf406
child 21426 87ac12bed1ab
     1.1 --- a/src/Sequents/IsaMakefile	Tue Jul 27 19:01:46 1999 +0200
     1.2 +++ b/src/Sequents/IsaMakefile	Tue Jul 27 19:02:43 1999 +0200
     1.3 @@ -26,7 +26,8 @@
     1.4  Pure:
     1.5  	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.6  
     1.7 -$(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK.ML LK.thy ROOT.ML S4.ML \
     1.8 +$(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK0.ML LK0.thy LK.thy \
     1.9 +  modal.ML ROOT.ML simpdata.ML S4.ML \
    1.10    S4.thy S43.ML S43.thy Sequents.thy T.ML T.thy prover.ML
    1.11  	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
    1.12  
    1.13 @@ -46,7 +47,7 @@
    1.14  Sequents-LK: Sequents $(LOG)/Sequents-LK.gz
    1.15  
    1.16  $(LOG)/Sequents-LK.gz: $(OUT)/Sequents LK/ROOT.ML LK/hardquant.ML \
    1.17 -  LK/prop.ML LK/quant.ML
    1.18 +  LK/prop.ML LK/quant.ML LK/Nat.thy LK/Nat.ML
    1.19  	@$(ISATOOL) usedir $(OUT)/Sequents LK
    1.20  
    1.21