src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Tue Apr 19 11:40:23 2005 +0200
+++ b/src/HOL/IsaMakefile	Tue Apr 19 13:34:50 2005 +0200
@@ -15,6 +15,7 @@
   HOL-AxClasses \
   HOL-Bali \
   HOL-Complex-ex \
+  HOL-Complex-Import \
   HOL-CTL \
   HOL-Extraction \
       HOL-Complex-HahnBanach \
@@ -43,7 +44,6 @@
   HOL-W0 \
   HOL-ex
     # ^ this is the sort position
-      ####lcp temporary####HOL-Complex-Import \
 
 all: test images