src/HOL/IsaMakefile
changeset 15871 e524119dbf19
parent 15858 d9f0c8580c0c
child 16019 0e1405402d53
     1.1 --- a/src/HOL/IsaMakefile	Thu Apr 28 12:04:34 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 28 17:08:08 2005 +0200
     1.3 @@ -16,7 +16,6 @@
     1.4    HOL-Bali \
     1.5    HOL-Complex-ex \
     1.6    HOL-Complex-Import \
     1.7 -  HOL-CTL \
     1.8    HOL-Extraction \
     1.9        HOL-Complex-HahnBanach \
    1.10    HOL-Hoare \
    1.11 @@ -534,15 +533,6 @@
    1.12  	@$(ISATOOL) usedir -g true $(OUT)/HOL Bali
    1.13  
    1.14  
    1.15 -## HOL-CTL
    1.16 -
    1.17 -HOL-CTL: HOL $(LOG)/HOL-CTL.gz
    1.18 -
    1.19 -$(LOG)/HOL-CTL.gz: $(OUT)/HOL \
    1.20 -  CTL/CTL.thy CTL/ROOT.ML CTL/document/root.tex CTL/document/root.bib
    1.21 -	@$(ISATOOL) usedir $(OUT)/HOL CTL
    1.22 -
    1.23 -
    1.24  ## HOL-Extraction
    1.25  
    1.26  HOL-Extraction: HOL $(LOG)/HOL-Extraction.gz
    1.27 @@ -701,7 +691,7 @@
    1.28  		$(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz \
    1.29  		$(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \
    1.30  		$(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \
    1.31 -                $(LOG)/HOL-Bali.gz $(LOG)/HOL-CTL.gz \
    1.32 +                $(LOG)/HOL-Bali.gz \
    1.33  		$(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz \
    1.34  		$(LOG)/HOL-IOA.gz $(LOG)/HOL-AxClasses \
    1.35  		$(LOG)/HOL-Lattice \