# HG changeset patch
# User paulson
# Date 864120866 -7200
# Node ID 16a24111ab5af26682f02c32554427b5e9713436
# Parent  19a2b853ba7bcbe97856c03e71e77213709f6ed6
new treatment of Prover files

diff -r 19a2b853ba7b -r 16a24111ab5a src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Tue May 20 11:33:45 1997 +0200
+++ b/src/FOL/IsaMakefile	Tue May 20 11:34:26 1997 +0200
@@ -6,10 +6,11 @@
 
 OUT = $(ISABELLE_OUTPUT)
 
+PROVERS = hypsubst.ML classical.ML blast.ML \
+	simplifier.ML splitter.ML ind.ML 
+
 FILES =	ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
-	thy_data.ML cladata.ML \
-	../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \
-	../Provers/simplifier.ML ../Provers/splitter.ML ../Provers/ind.ML
+	thy_data.ML cladata.ML $(PROVERS:%=../Provers/%)
 
 EX_NAMES = If List Nat Nat2 Prolog declIffOracle IffOracle
 EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/int.ML ex/intro.ML \