| changeset 6213 | f5bdd6497e08 |
| parent 6065 | 3b4a29166f26 |
| child 8812 | 7239b21e2068 |
--- a/src/ZF/IsaMakefile Wed Feb 03 17:30:17 1999 +0100 +++ b/src/ZF/IsaMakefile Wed Feb 03 17:32:10 1999 +0100 @@ -46,7 +46,7 @@ Tools/primrec_package.ML Tools/induct_tacs.ML Tools/typechk.ML \ Integ/EquivClass.ML Integ/EquivClass.thy Integ/Int.ML Integ/Int.thy \ Integ/twos_compl.ML Integ/Bin.ML Integ/Bin.thy - @$(ISATOOL) usedir -b $(OUT)/FOL ZF + @$(ISATOOL) usedir -b -r $(OUT)/FOL ZF ## ZF-IMP