diff -r 87ac12bed1ab -r 7c8f4a331f9b src/Sequents/IsaMakefile
--- 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