equal
deleted
inserted
replaced
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # IsaMakefile for CTT |
4 # IsaMakefile for CTT |
5 # |
5 # |
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
7 OUT = $(ISABELLE_OUTPUT) |
8 |
8 |
9 FILES = ROOT.ML CTT.thy CTT.ML Bool.thy Bool.ML \ |
9 FILES = ROOT.ML CTT.thy CTT.ML Bool.thy Bool.ML \ |
10 Arith.thy Arith.ML rew.ML ../Provers/typedsimp.ML |
10 Arith.thy Arith.ML rew.ML ../Provers/typedsimp.ML |
11 |
11 |
12 EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML |
12 EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML |