# HG changeset patch
# User nipkow
# Date 794662679 -3600
# Node ID bd9ab32bfa304a05101111e94c55387b8a94c926
# Parent  534955033ed2ad34211e0a01ba66ee1a24f8bfaf
Added dependencies on files in Provers

diff -r 534955033ed2 -r bd9ab32bfa30 src/FOL/Makefile
--- a/src/FOL/Makefile	Wed Mar 08 10:25:50 1995 +0100
+++ b/src/FOL/Makefile	Wed Mar 08 12:37:59 1995 +0100
@@ -19,7 +19,8 @@
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
 FILES =  ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
-	../Provers/classical.ML ../Provers/simplifier.ML ../Provers/ind.ML
+	../Provers/hypsubst.ML ../Provers/classical.ML \
+        ../Provers/simplifier.ML ../Provers/splitter.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/List.ML ex/List.thy ex/Nat.ML ex/Nat.thy\