1.1 --- a/src/HOL/IsaMakefile	Sun Mar 04 10:33:47 2012 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Sun Mar 04 10:34:44 2012 +0100
     1.3 @@ -11,10 +11,6 @@
     1.4    HOL-Library \
     1.5    HOL-Algebra \
     1.6    HOL-Boogie \
     1.7 -  HOL-HOL4 \
     1.8 -  HOL-HOL_Light \
     1.9 -  HOL-HOL4-Imported \
    1.10 -#  HOL-HOL_Light-Imported \  FIXME not operative at the moment \
    1.11    HOL-IMP \
    1.12    HOL-Multivariate_Analysis \
    1.13    HOL-NSA \
    1.14 @@ -42,6 +38,10 @@
    1.15        HOLCF-Library \
    1.16        HOLCF-Tutorial \
    1.17        HOLCF-ex \
    1.18 +  HOL-HOL4 \
    1.19 +  HOL-HOL4-Imported \
    1.20 +  HOL-HOL_Light \
    1.21 +#  HOL-HOL_Light-Imported \  FIXME not operative at the moment \
    1.22    HOL-IMPP \
    1.23    HOL-IOA \
    1.24        IOA-ABP \