1.1 --- a/src/HOL/IsaMakefile	Sat Mar 03 22:38:11 2012 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Sat Mar 03 22:38:33 2012 +0100
     1.3 @@ -22,7 +22,7 @@
     1.4    Import-HOL4 \
     1.5    Import-HOL_Light \
     1.6    Import-HOL4-Imported \
     1.7 -  Import-HOL_Light-Imported \
     1.8 +#  Import-HOL_Light-Imported \  FIXME not operative at the moment \
     1.9    IOA \
    1.10    TLA \
    1.11    HOL-Base \