src/Sequents/IsaMakefile
changeset 21427 7c8f4a331f9b
parent 21426 87ac12bed1ab
child 28500 4b79e5d3d0aa
     1.1 --- a/src/Sequents/IsaMakefile	Mon Nov 20 23:47:10 2006 +0100
     1.2 +++ b/src/Sequents/IsaMakefile	Tue Nov 21 00:00:39 2006 +0100
     1.3 @@ -26,7 +26,7 @@
     1.4  Pure:
     1.5  	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.6  
     1.7 -$(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK0.thy LK.thy \
     1.8 +$(OUT)/Sequents: $(OUT)/Pure ILL.thy LK0.thy LK.thy \
     1.9    modal.ML ROOT.ML simpdata.ML S4.thy S43.thy Sequents.thy T.thy prover.ML \
    1.10    ILL_predlog.thy Washing.thy
    1.11  	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents