src/HOL/IsaMakefile
changeset 19203 778507520684
parent 19192 ee5fde055c9a
child 19234 054332e39e0a
     1.1 --- a/src/HOL/IsaMakefile	Tue Mar 07 14:09:48 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Mar 07 16:03:31 2006 +0100
     1.3 @@ -40,7 +40,8 @@
     1.4    HOL-UNITY \
     1.5    HOL-Unix \
     1.6    HOL-W0 \
     1.7 -  HOL-ex
     1.8 +  HOL-ZF \
     1.9 +  HOL-ex 
    1.10      # ^ this is the sort position
    1.11  
    1.12  all: test images
    1.13 @@ -451,6 +452,14 @@
    1.14    Unix/document/root.bib Unix/document/root.tex
    1.15  	@$(ISATOOL) usedir $(OUT)/HOL Unix
    1.16  
    1.17 +## HOL-ZF
    1.18 +
    1.19 +HOL-ZF: HOL $(LOG)/HOL-ZF.gz
    1.20 +
    1.21 +$(LOG)/HOL-ZF.gz: $(OUT)/HOL ZF/ROOT.ML  \
    1.22 +  ZF/Helper.thy ZF/LProd.thy ZF/HOLZF.thy \
    1.23 +  ZF/MainZF.thy ZF/Games.thy ZF/document/root.tex
    1.24 +	@$(ISATOOL) usedir $(OUT)/HOL ZF
    1.25  
    1.26  ## HOL-Modelcheck
    1.27