Added dependencies on ../Provers/hypsubst.ML and removed those on
../Provers/ind.ML
--- a/src/HOL/Makefile Wed Mar 08 14:35:26 1995 +0100
+++ b/src/HOL/Makefile Wed Mar 08 17:23:07 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)/CHOL: $(BIN)/Pure $(FILES)
if [ -d $${ISABELLEBIN:?}/Pure ];\