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