src/HOL/IsaMakefile
changeset 16509 20f4c6a950f7
parent 16484 eaf7bb77fed6
child 16733 236dfafbeb63
     1.1 --- a/src/HOL/IsaMakefile	Tue Jun 21 08:16:03 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jun 21 09:31:57 2005 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4    HOL-Bali \
     1.5    HOL-Complex-ex \
     1.6    HOL-Complex-Import \
     1.7 +  HOL-Complex-Matrix \
     1.8    HOL-Extraction \
     1.9        HOL-Complex-HahnBanach \
    1.10    HOL-Hoare \
    1.11 @@ -27,7 +28,6 @@
    1.12    HOL-Isar_examples \
    1.13    HOL-Lambda \
    1.14    HOL-Lattice \
    1.15 -  HOL-Matrix \
    1.16    HOL-MicroJava \
    1.17    HOL-Modelcheck \
    1.18    HOL-NanoJava \
    1.19 @@ -620,11 +620,11 @@
    1.20  	@$(ISATOOL) usedir -g true $(OUT)/HOL SET-Protocol
    1.21  
    1.22  
    1.23 -## HOL-Matrix
    1.24 +## HOL-Complex-Matrix
    1.25  
    1.26 -HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
    1.27 +HOL-Complex-Matrix: HOL $(LOG)/HOL-Complex-Matrix.gz
    1.28  
    1.29 -$(LOG)/HOL-Matrix.gz: $(OUT)/HOL-Complex \
    1.30 +$(LOG)/HOL-Complex-Matrix.gz: $(OUT)/HOL-Complex \
    1.31    Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \
    1.32    Matrix/document/root.tex Matrix/ROOT.ML
    1.33  	@$(ISATOOL) usedir $(OUT)/HOL-Complex Matrix
    1.34 @@ -690,7 +690,7 @@
    1.35                  $(LOG)/HOL-Bali.gz \
    1.36  		$(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz \
    1.37  		$(LOG)/HOL-IOA.gz $(LOG)/HOL-AxClasses \
    1.38 -		$(LOG)/HOL-Lattice $(LOG)/HOL-Matrix \
    1.39 +		$(LOG)/HOL-Lattice $(LOG)/HOL-Complex-Matrix \
    1.40  		$(LOG)/HOL-Complex.gz \
    1.41  		$(LOG)/HOL-Complex-ex.gz \
    1.42  		$(LOG)/HOL-Complex-HahnBanach.gz $(LOG)/HOL-SET-Protocol.gz \