Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 14715 9f75d9c1d677
parent 14663 1d97b5f55261
child 14738 83f1a514dcb4 
--- 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	\
isabelle