usedir -r;
authorwenzelm
Wed Feb 03 17:32:10 1999 +0100 (1999-02-03)
changeset 6213f5bdd6497e08
parent 6212 974310f9ca7d
child 6214 0513cfd1a598
usedir -r;
src/CCL/IsaMakefile
src/HOLCF/IsaMakefile
src/LCF/IsaMakefile
src/ZF/IsaMakefile
     1.1 --- a/src/CCL/IsaMakefile	Wed Feb 03 17:30:17 1999 +0100
     1.2 +++ b/src/CCL/IsaMakefile	Wed Feb 03 17:32:10 1999 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4    Term.thy Trancl.ML Trancl.thy Type.ML Type.thy Wfd.ML Wfd.thy \
     1.5    coinduction.ML equalities.ML eval.ML genrec.ML mono.ML subset.ML \
     1.6    typecheck.ML
     1.7 -	@$(ISATOOL) usedir -b $(OUT)/FOL CCL
     1.8 +	@$(ISATOOL) usedir -b -r $(OUT)/FOL CCL
     1.9  
    1.10  
    1.11  ## CCL-ex
     2.1 --- a/src/HOLCF/IsaMakefile	Wed Feb 03 17:30:17 1999 +0100
     2.2 +++ b/src/HOLCF/IsaMakefile	Wed Feb 03 17:32:10 1999 +0100
     2.3 @@ -39,7 +39,7 @@
     2.4    Up1.thy Up2.ML Up2.thy Up3.ML Up3.thy adm.ML cont_consts.ML \
     2.5    domain/axioms.ML domain/extender.ML domain/interface.ML \
     2.6    domain/library.ML domain/syntax.ML domain/theorems.ML holcf_logic.ML
     2.7 -	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
     2.8 +	@$(ISATOOL) usedir -b -r $(OUT)/HOL HOLCF
     2.9  
    2.10  
    2.11  ## HOLCF-IMP
     3.1 --- a/src/LCF/IsaMakefile	Wed Feb 03 17:30:17 1999 +0100
     3.2 +++ b/src/LCF/IsaMakefile	Wed Feb 03 17:32:10 1999 +0100
     3.3 @@ -28,7 +28,7 @@
     3.4  
     3.5  $(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \
     3.6    pair.thy simpdata.ML
     3.7 -	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
     3.8 +	@$(ISATOOL) usedir -b -r $(OUT)/FOL LCF
     3.9  
    3.10  
    3.11  ## LCF-ex
     4.1 --- a/src/ZF/IsaMakefile	Wed Feb 03 17:30:17 1999 +0100
     4.2 +++ b/src/ZF/IsaMakefile	Wed Feb 03 17:32:10 1999 +0100
     4.3 @@ -46,7 +46,7 @@
     4.4    Tools/primrec_package.ML Tools/induct_tacs.ML Tools/typechk.ML \
     4.5    Integ/EquivClass.ML Integ/EquivClass.thy Integ/Int.ML Integ/Int.thy \
     4.6    Integ/twos_compl.ML Integ/Bin.ML Integ/Bin.thy 
     4.7 -	@$(ISATOOL) usedir -b $(OUT)/FOL ZF
     4.8 +	@$(ISATOOL) usedir -b -r $(OUT)/FOL ZF
     4.9  
    4.10  
    4.11  ## ZF-IMP