# HG changeset patch
# User kleing
# Date 1052393871 -7200
# Node ID 8abae6b7084c11b4f01689a34db5e03fd451995d
# Parent  70ff42d498c0e03722db4d563caa28e9be3bda4e
-> HOL-Complex-HahnBanach in clean target

diff -r 70ff42d498c0 -r 8abae6b7084c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu May 08 13:36:07 2003 +0200
+++ b/src/HOL/IsaMakefile	Thu May 08 13:37:51 2003 +0200
@@ -676,6 +676,6 @@
 		$(LOG)/HOL-Lattice \
 		$(LOG)/HOL-Complex.gz \
 		$(LOG)/HOL-Complex-ex.gz \
-		$(LOG)/HOL-Real-HahnBanach.gz $(LOG)/TLA-Inc.gz \
+		$(LOG)/HOL-Complex-HahnBanach.gz $(LOG)/TLA-Inc.gz \
 		$(LOG)/TLA-Buffer.gz $(LOG)/TLA-Memory.gz \
 		$(LOG)/HOL-Library.gz $(LOG)/HOL-Unix.gz