src/FOLP/Makefile
changeset 98 329b5ac27f6e
parent 0 a5a9c433f639
child 101 d4730dd72226
--- a/src/FOLP/Makefile	Tue Nov 09 13:21:41 1993 +0100
+++ b/src/FOLP/Makefile	Tue Nov 09 13:25:07 1993 +0100
@@ -18,7 +18,7 @@
 
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
-FILES =  ROOT.ML ifolp.thy ifolp.ML folp.thy folp.ML int-prover.ML simpdata.ML\
+FILES =  ROOT.ML ifolp.thy ifolp.ML folp.thy folp.ML intprover.ML simpdata.ML\
 	 classical.ML ../Provers/simp.ML ../Provers/ind.ML
 
 $(BIN)/FOLP:   $(BIN)/Pure  $(FILES)