src/HOL/IsaMakefile
changeset 17710 9a13e0abdb82
parent 17645 940371ea0ff3
child 17783 4175daa1286c
     1.1 --- a/src/HOL/IsaMakefile	Thu Sep 29 00:59:02 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Sep 29 00:59:03 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 HOL-Complex-Matrix TLA
     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: \