src/HOL/IsaMakefile
changeset 24373 eb199bbbaec0
parent 24339 d929e9b2e598
child 24400 199bb6d451e5
equal deleted inserted replaced
24372:743575ccfec8 24373:eb199bbbaec0
     9 images: HOL HOL-Algebra HOL-Complex HOL-Complex-Matrix HOL-Nominal \
     9 images: HOL HOL-Algebra HOL-Complex HOL-Complex-Matrix HOL-Nominal \
    10         HOL-Word TLA HOL4
    10         HOL-Word TLA HOL4
    11 
    11 
    12 #Note: keep targets sorted (except for HOL-Library)
    12 #Note: keep targets sorted (except for HOL-Library)
    13 test: \
    13 test: \
       
    14   HOL-Library \
    14   HOL-ex \
    15   HOL-ex \
    15   HOL-Library \
       
    16   HOL-Auth \
    16   HOL-Auth \
    17   HOL-AxClasses \
    17   HOL-AxClasses \
    18   HOL-Bali \
    18   HOL-Bali \
    19   HOL-Complex-HahnBanach \
    19   HOL-Complex-HahnBanach \
    20   HOL-Complex-Import \
    20   HOL-Complex-Import \