diff -r e95b98536b3d -r d4730dd72226 src/FOLP/Makefile
--- a/src/FOLP/Makefile	Tue Nov 09 14:24:45 1993 +0100
+++ b/src/FOLP/Makefile	Tue Nov 09 16:09:34 1993 +0100
@@ -21,6 +21,10 @@
 FILES =  ROOT.ML ifolp.thy ifolp.ML folp.thy folp.ML intprover.ML simpdata.ML\
 	 classical.ML ../Provers/simp.ML ../Provers/ind.ML
 
+EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/if.ML ex/if.thy ex/int.ML\
+	   ex/intro.ML ex/nat.ML ex/nat.thy ex/prolog.ML ex/prolog.thy\
+	   ex/prop.ML ex/quant.ML
+
 $(BIN)/FOLP:   $(BIN)/Pure  $(FILES) 
 	case "$(COMP)" in \
 	poly*)	echo 'make_database"$(BIN)/FOLP"; quit();'  \
@@ -33,7 +37,7 @@
 $(BIN)/Pure:
 	cd ../Pure;  $(MAKE)
 
-test:   ex/ROOT.ML  $(BIN)/FOLP
+test:   ex/ROOT.ML  $(BIN)/FOLP  $(EX_FILES) 
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/FOLP ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/FOLP;;\