--- a/src/Sequents/IsaMakefile Tue Jul 27 19:01:46 1999 +0200
+++ b/src/Sequents/IsaMakefile Tue Jul 27 19:02:43 1999 +0200
@@ -26,7 +26,8 @@
Pure:
@cd $(SRC)/Pure; $(ISATOOL) make Pure
-$(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK.ML LK.thy ROOT.ML S4.ML \
+$(OUT)/Sequents: $(OUT)/Pure ILL.ML ILL.thy LK0.ML LK0.thy LK.thy \
+ modal.ML ROOT.ML simpdata.ML S4.ML \
S4.thy S43.ML S43.thy Sequents.thy T.ML T.thy prover.ML
@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
@@ -46,7 +47,7 @@
Sequents-LK: Sequents $(LOG)/Sequents-LK.gz
$(LOG)/Sequents-LK.gz: $(OUT)/Sequents LK/ROOT.ML LK/hardquant.ML \
- LK/prop.ML LK/quant.ML
+ LK/prop.ML LK/quant.ML LK/Nat.thy LK/Nat.ML
@$(ISATOOL) usedir $(OUT)/Sequents LK