| changeset 3118 | 24dae6222579 |
| parent 3079 | 2ea678d3523f |
| child 3125 | 3f0ab2c306f7 |
--- a/src/HOL/IsaMakefile Tue May 06 15:24:41 1997 +0200 +++ b/src/HOL/IsaMakefile Tue May 06 15:27:35 1997 +0200 @@ -6,7 +6,7 @@ #### Base system -OUT = $(ISABELLE_OUTPUT_DIR) +OUT = $(ISABELLE_OUTPUT) NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF \ mono Lfp Gfp NatDef Nat intr_elim indrule Inductive Finite Arith \