# HG changeset patch
# User bauerg
# Date 1083931814 -7200
# Node ID 9f75d9c1d677286151f81fa121f835742d5ebc3c
# Parent  38ff9c8a7de0da802354b7f580703e5b738082a4
*** empty log message ***

diff -r 38ff9c8a7de0 -r 9f75d9c1d677 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri May 07 13:42:08 2004 +0200
+++ b/src/HOL/IsaMakefile	Fri May 07 14:10:14 2004 +0200
@@ -122,8 +122,7 @@
 
 HOL-Complex-HahnBanach: HOL-Complex $(LOG)/HOL-Complex-HahnBanach.gz
 
-$(LOG)/HOL-Complex-HahnBanach.gz: $(OUT)/HOL-Complex Real/HahnBanach/Aux.thy \
-  Real/HahnBanach/Bounds.thy Real/HahnBanach/FunctionNorm.thy \
+$(LOG)/HOL-Complex-HahnBanach.gz: $(OUT)/HOL-Complex Real/HahnBanach/Bounds.thy Real/HahnBanach/FunctionNorm.thy \
   Real/HahnBanach/FunctionOrder.thy Real/HahnBanach/HahnBanach.thy \
   Real/HahnBanach/HahnBanachExtLemmas.thy	\
   Real/HahnBanach/HahnBanachSupLemmas.thy	\