diff -r a4ae06650a0a -r 87050841e40e src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun Mar 04 10:33:47 2012 +0100
+++ b/src/HOL/IsaMakefile	Sun Mar 04 10:34:44 2012 +0100
@@ -11,10 +11,6 @@
   HOL-Library \
   HOL-Algebra \
   HOL-Boogie \
-  HOL-HOL4 \
-  HOL-HOL_Light \
-  HOL-HOL4-Imported \
-#  HOL-HOL_Light-Imported \  FIXME not operative at the moment \
   HOL-IMP \
   HOL-Multivariate_Analysis \
   HOL-NSA \
@@ -42,6 +38,10 @@
       HOLCF-Library \
       HOLCF-Tutorial \
       HOLCF-ex \
+  HOL-HOL4 \
+  HOL-HOL4-Imported \
+  HOL-HOL_Light \
+#  HOL-HOL_Light-Imported \  FIXME not operative at the moment \
   HOL-IMPP \
   HOL-IOA \
       IOA-ABP \