Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOL/IsaMakefile
changeset 9157 998dd2fb5795
parent 7355 4c43090659ca
child 9205 f171fa6a0989 
--- a/src/FOL/IsaMakefile	Tue Jun 27 23:43:46 2000 +0200
+++ b/src/FOL/IsaMakefile	Wed Jun 28 10:37:08 2000 +0200
@@ -26,7 +26,7 @@
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
-$(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	\
+$(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML	$(SRC)/Provers/make_elim.ML \
   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
   $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/ind.ML \
   $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML FOL.ML \
isabelle