src/HOL/IsaMakefile
changeset 17546 07371b92d382
parent 17518 87b49367ee9b
child 17610 58778df33e2f
     1.1 --- a/src/HOL/IsaMakefile	Wed Sep 21 11:49:31 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Sep 21 11:50:20 2005 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  default: HOL
     1.6  generate: HOL-Complex-Generate-HOL HOL-Complex-Generate-HOLLight
     1.7 -images: HOL HOL-Algebra HOL-Complex TLA HOL4
     1.8 +images: HOL HOL-Algebra HOL-Complex HOL-Complex-Matrix TLA HOL4
     1.9  
    1.10  #Note: keep targets sorted (except for HOL-Library)
    1.11  test: \
    1.12 @@ -16,7 +16,6 @@
    1.13    HOL-Bali \
    1.14    HOL-Complex-ex \
    1.15    HOL-Complex-Import \
    1.16 -  HOL-Complex-Matrix \
    1.17    HOL-Extraction \
    1.18        HOL-Complex-HahnBanach \
    1.19    HOL-Hoare \
    1.20 @@ -640,7 +639,7 @@
    1.21  
    1.22  ## HOL-Complex-Matrix
    1.23  
    1.24 -HOL-Complex-Matrix: HOL $(OUT)/HOL-Complex-Matrix
    1.25 +HOL-Complex-Matrix: HOL-Complex $(OUT)/HOL-Complex-Matrix
    1.26  
    1.27  $(OUT)/HOL-Complex-Matrix: $(OUT)/HOL-Complex \
    1.28    Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \