| changeset 3118 | 24dae6222579 |
| parent 2831 | a4f09228b74f |
| child 3505 | 1cb4ea47d967 |
| 3117:74c1b51c1cd9 | 3118:24dae6222579 |
|---|---|
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # IsaMakefile for Sequents |
4 # IsaMakefile for Sequents |
5 # |
5 # |
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
7 OUT = $(ISABELLE_OUTPUT) |
8 |
8 |
9 NAMES = ILL LK S4 S43 T |
9 NAMES = ILL LK S4 S43 T |
10 FILES = ROOT.ML Sequents.thy prover.ML $(NAMES:%=%.thy) $(NAMES:%=%.ML) |
10 FILES = ROOT.ML Sequents.thy prover.ML $(NAMES:%=%.thy) $(NAMES:%=%.ML) |
11 |
11 |
12 ILL_NAMES = ILL_predlog washing |
12 ILL_NAMES = ILL_predlog washing |