Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added dependencies on ../Provers/hypsubst.ML and removed those on
authornipkow
Wed, 08 Mar 1995 17:23:07 +0100
changeset 944 01d6571fa106
parent 943 8477483f663f
child 945 23df3da5ffb5
Added dependencies on ../Provers/hypsubst.ML and removed those on ../Provers/ind.ML
src/HOL/Makefile file | annotate | diff | comparison | revisions 
--- 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 ];\
isabelle