equal
deleted
inserted
replaced
2 # $Id$ |
2 # $Id$ |
3 # |
3 # |
4 # IsaMakefile for CCL |
4 # IsaMakefile for CCL |
5 # |
5 # |
6 |
6 |
7 OUT = $(ISABELLE_OUTPUT_DIR) |
7 OUT = $(ISABELLE_OUTPUT) |
8 |
8 |
9 SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \ |
9 SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \ |
10 Gfp.thy Gfp.ML Lfp.thy Lfp.ML |
10 Gfp.thy Gfp.ML Lfp.thy Lfp.ML |
11 |
11 |
12 CCL_FILES = CCL.thy CCL.ML Term.thy Term.ML Type.thy Type.ML \ |
12 CCL_FILES = CCL.thy CCL.ML Term.thy Term.ML Type.thy Type.ML \ |