src/HOL/IsaMakefile
changeset 2827 cce436a62740
parent 2826 0b0d9e3bc661
child 2889 a86f3b5f3cc7
     1.1 --- a/src/HOL/IsaMakefile	Thu Mar 20 11:32:57 1997 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Mar 20 11:38:58 1997 +0100
     1.3 @@ -86,8 +86,8 @@
     1.4   $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML)
     1.5  
     1.6  IOA:	$(OUT)/HOL $(IOA_FILES)
     1.7 -	@$(ISATOOL) usedir $(OUT)/HOL IOA/NTP
     1.8 -	@$(ISATOOL) usedir $(OUT)/HOL IOA/ABP
     1.9 +	@$(ISATOOL) usedir -s IOA-NTP $(OUT)/HOL IOA/NTP
    1.10 +	@$(ISATOOL) usedir -s IOA-ABP $(OUT)/HOL IOA/ABP
    1.11  
    1.12  
    1.13  ## Authentication & Security Protocols
    1.14 @@ -178,9 +178,9 @@
    1.15  
    1.16  AxClasses: $(OUT)/HOL $(AXCLASSES_FILES)
    1.17  	@$(ISATOOL) usedir $(OUT)/HOL AxClasses
    1.18 -	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Group
    1.19 -	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Lattice
    1.20 -	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Tutorial
    1.21 +	@$(ISATOOL) usedir -s AxClasses-Group $(OUT)/HOL AxClasses/Group
    1.22 +	@$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice
    1.23 +	@$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial
    1.24  
    1.25  
    1.26  ## Miscellaneous examples