# HG changeset patch
# User paulson
# Date 1113910490 -7200
# Node ID 08cc20626a0f6f949a92ec1258fa263de0f128b8
# Parent  90b6433c6093511af497f5975abb35005a517411
restored the target HOL-Complex-Import

diff -r 90b6433c6093 -r 08cc20626a0f 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