--- a/src/CCL/IsaMakefile Wed Feb 03 17:30:17 1999 +0100
+++ b/src/CCL/IsaMakefile Wed Feb 03 17:32:10 1999 +0100
@@ -31,7 +31,7 @@
Term.thy Trancl.ML Trancl.thy Type.ML Type.thy Wfd.ML Wfd.thy \
coinduction.ML equalities.ML eval.ML genrec.ML mono.ML subset.ML \
typecheck.ML
- @$(ISATOOL) usedir -b $(OUT)/FOL CCL
+ @$(ISATOOL) usedir -b -r $(OUT)/FOL CCL
## CCL-ex
--- a/src/HOLCF/IsaMakefile Wed Feb 03 17:30:17 1999 +0100
+++ b/src/HOLCF/IsaMakefile Wed Feb 03 17:32:10 1999 +0100
@@ -39,7 +39,7 @@
Up1.thy Up2.ML Up2.thy Up3.ML Up3.thy adm.ML cont_consts.ML \
domain/axioms.ML domain/extender.ML domain/interface.ML \
domain/library.ML domain/syntax.ML domain/theorems.ML holcf_logic.ML
- @$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
+ @$(ISATOOL) usedir -b -r $(OUT)/HOL HOLCF
## HOLCF-IMP
--- a/src/LCF/IsaMakefile Wed Feb 03 17:30:17 1999 +0100
+++ b/src/LCF/IsaMakefile Wed Feb 03 17:32:10 1999 +0100
@@ -28,7 +28,7 @@
$(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \
pair.thy simpdata.ML
- @$(ISATOOL) usedir -b $(OUT)/FOL LCF
+ @$(ISATOOL) usedir -b -r $(OUT)/FOL LCF
## LCF-ex
--- 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