diff -r d4730dd72226 -r e04cb6295a3f src/LK/Makefile
--- a/src/LK/Makefile	Tue Nov 09 16:09:34 1993 +0100
+++ b/src/LK/Makefile	Tue Nov 09 16:32:24 1993 +0100
@@ -19,6 +19,7 @@
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
 FILES =  ROOT.ML lk.thy lk.ML
+EX_FILES = ex/ROOT.ML ex/hardquant.ML ex/prop.ML ex/quant.ML
 
 $(BIN)/LK:   $(BIN)/Pure  $(FILES) 
 	case "$(COMP)" in \
@@ -32,7 +33,7 @@
 $(BIN)/Pure:
 	cd ../Pure;  $(MAKE)
 
-test:   ex/ROOT.ML  $(BIN)/LK
+test:   ex/ROOT.ML  $(BIN)/LK  $(EX_FILES)
 	case "$(COMP)" in \
 	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/LK ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/LK;;\