--- 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 \