src/HOL/Makefile
changeset 944 01d6571fa106
parent 923 ff1574a81019
child 953 17d7fad9c9a2
     1.1 --- a/src/HOL/Makefile	Wed Mar 08 14:35:26 1995 +0100
     1.2 +++ b/src/HOL/Makefile	Wed Mar 08 17:23:07 1995 +0100
     1.3 @@ -26,8 +26,9 @@
     1.4  FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML\
     1.5  	ind_syntax.ML indrule.ML intr_elim.ML simpdata.ML\
     1.6  	subtype.ML thy_syntax.ML ../Pure/section_utils.ML\
     1.7 -	../Provers/classical.ML ../Provers/simplifier.ML \
     1.8 -	../Provers/splitter.ML ../Provers/ind.ML $(THYS) $(THYS:.thy=.ML)
     1.9 +	../Provers/hypsubst.ML ../Provers/classical.ML\
    1.10 +        ../Provers/simplifier.ML ../Provers/splitter.ML\
    1.11 +        $(THYS) $(THYS:.thy=.ML)
    1.12  
    1.13  $(BIN)/CHOL:   $(BIN)/Pure  $(FILES) 
    1.14  	if [ -d $${ISABELLEBIN:?}/Pure ];\