diff -r 05bad476e0f0 -r cafa1cc0bb0a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Mar 23 12:08:27 2005 +0100
+++ b/src/HOL/IsaMakefile	Wed Mar 23 12:08:52 2005 +0100
@@ -6,7 +6,7 @@
 
 default: HOL
 generate: HOL-Complex-Generate-HOL
-images: HOL HOL-Algebra HOL-Complex TLA HOL4
+images: HOL HOL-Algebra HOL-Complex TLA ####lcp temporary####HOL4
 
 #Note: keep targets sorted (except for HOL-Library)
 test: \
@@ -18,7 +18,7 @@
   HOL-CTL \
   HOL-Extraction \
       HOL-Complex-HahnBanach \
-      HOL-Complex-Import \
+      ####lcp temporary####HOL-Complex-Import \
   HOL-Hoare \
   HOL-HoareParallel \
   HOL-IMP \