# HG changeset patch
# User wenzelm
# Date 918059530 -3600
# Node ID f5bdd6497e08b6d86d8187c8ca6e91cbe7a97493
# Parent  974310f9ca7d8910c7b87d462fafef9ba771c99b
usedir -r;

diff -r 974310f9ca7d -r f5bdd6497e08 src/CCL/IsaMakefile
--- 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
diff -r 974310f9ca7d -r f5bdd6497e08 src/HOLCF/IsaMakefile
--- 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
diff -r 974310f9ca7d -r f5bdd6497e08 src/LCF/IsaMakefile
--- 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
diff -r 974310f9ca7d -r f5bdd6497e08 src/ZF/IsaMakefile
--- 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