equal
deleted
inserted
replaced
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # IsaMakefile for FOL |
4 # IsaMakefile for FOL |
5 # |
5 # |
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
7 OUT = $(ISABELLE_OUTPUT) |
8 |
8 |
9 FILES = ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \ |
9 FILES = ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \ |
10 thy_data.ML cladata.ML \ |
10 thy_data.ML cladata.ML \ |
11 ../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \ |
11 ../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \ |
12 ../Provers/simplifier.ML ../Provers/splitter.ML ../Provers/ind.ML |
12 ../Provers/simplifier.ML ../Provers/splitter.ML ../Provers/ind.ML |