| changeset 3118 | 24dae6222579 |
| parent 3057 | a5a42ff18a40 |
| child 3505 | 1cb4ea47d967 |
--- a/src/CCL/IsaMakefile Tue May 06 15:24:41 1997 +0200 +++ b/src/CCL/IsaMakefile Tue May 06 15:27:35 1997 +0200 @@ -4,7 +4,7 @@ # IsaMakefile for CCL # -OUT = $(ISABELLE_OUTPUT_DIR) +OUT = $(ISABELLE_OUTPUT) SET_FILES = ROOT.ML Set.thy Set.ML subset.ML equalities.ML mono.ML \ Gfp.thy Gfp.ML Lfp.thy Lfp.ML