src/HOL/IsaMakefile
changeset 14031 3240066af013
parent 14029 fe031a7c75bc
child 14042 61093a0ac760
     1.1 --- a/src/HOL/IsaMakefile	Wed May 14 20:29:18 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed May 14 20:36:29 2003 +0200
     1.3 @@ -10,11 +10,11 @@
     1.4  images: HOL HOL-Algebra HOL-Complex TLA
     1.5  
     1.6  #Note: keep targets sorted (except for HOL-Library)
     1.7 -#  HOL-Bali
     1.8  test: \
     1.9    HOL-Library \
    1.10    HOL-Auth \
    1.11    HOL-AxClasses \
    1.12 +  HOL-Bali \
    1.13    HOL-Complex-ex \
    1.14    HOL-CTL \
    1.15    HOL-Extraction \