# HG changeset patch
# User nipkow
# Date 794679748 -3600
# Node ID e2245da1b601cc315b079fc4aac568962f1d6387
# Parent  d0320f916936de8fcbcd8d031329cba541954abf
Added dependencies on ../Provers/hypsubst.ML and removed those on
../Provers/ind.ML

diff -r d0320f916936 -r e2245da1b601 Makefile
--- a/Makefile	Wed Mar 08 13:06:44 1995 +0100
+++ b/Makefile	Wed Mar 08 17:22:28 1995 +0100
@@ -26,8 +26,9 @@
 FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML\
 	ind_syntax.ML indrule.ML intr_elim.ML simpdata.ML\
 	subtype.ML thy_syntax.ML ../Pure/section_utils.ML\
-	../Provers/classical.ML ../Provers/simplifier.ML \
-	../Provers/splitter.ML ../Provers/ind.ML $(THYS) $(THYS:.thy=.ML)
+	../Provers/hypsubst.ML ../Provers/classical.ML\
+        ../Provers/simplifier.ML ../Provers/splitter.ML\
+        $(THYS) $(THYS:.thy=.ML)
 
 $(BIN)/HOL:   $(BIN)/Pure  $(FILES) 
 	if [ -d $${ISABELLEBIN:?}/Pure ];\