--- a/src/HOL/IsaMakefile Wed Mar 07 13:00:30 2012 +0000
+++ b/src/HOL/IsaMakefile Wed Mar 07 14:30:35 2012 +0100
@@ -41,7 +41,6 @@
HOL-HOL4 \
HOL-HOL4-Imported \
HOL-HOL_Light \
-# HOL-HOL_Light-Imported \ FIXME not operative at the moment \
HOL-IMPP \
HOL-IOA \
IOA-ABP \