src/FOL/IsaMakefile
changeset 3233 16a24111ab5a
parent 3118 24dae6222579
child 3505 1cb4ea47d967
equal deleted inserted replaced
3232:19a2b853ba7b 3233:16a24111ab5a
     4 # IsaMakefile for FOL
     4 # IsaMakefile for FOL
     5 #
     5 #
     6 
     6 
     7 OUT = $(ISABELLE_OUTPUT)
     7 OUT = $(ISABELLE_OUTPUT)
     8 
     8 
       
     9 PROVERS = hypsubst.ML classical.ML blast.ML \
       
    10 	simplifier.ML splitter.ML ind.ML 
       
    11 
     9 FILES =	ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
    12 FILES =	ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
    10 	thy_data.ML cladata.ML \
    13 	thy_data.ML cladata.ML $(PROVERS:%=../Provers/%)
    11 	../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \
       
    12 	../Provers/simplifier.ML ../Provers/splitter.ML ../Provers/ind.ML
       
    13 
    14 
    14 EX_NAMES = If List Nat Nat2 Prolog declIffOracle IffOracle
    15 EX_NAMES = If List Nat Nat2 Prolog declIffOracle IffOracle
    15 EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/int.ML ex/intro.ML \
    16 EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/int.ML ex/intro.ML \
    16 	   ex/prop.ML ex/quant.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)
    17 	   ex/prop.ML ex/quant.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)
    17 
    18