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 14368 2763da611ad9
parent 14365 3d4df8c166ae
child 14369 c50188fe6366 
--- a/src/HOL/IsaMakefile	Wed Jan 28 01:19:34 2004 +0100
+++ b/src/HOL/IsaMakefile	Wed Jan 28 10:41:49 2004 +0100
@@ -138,8 +138,7 @@
 
 $(OUT)/HOL-Complex: $(OUT)/HOL Complex/ROOT.ML\
   Library/Zorn.thy\
-  Real/Complex_Numbers.thy \
-  Real/Lubs.ML Real/Lubs.thy Real/rat_arith.ML Real/RatArith.thy\
+  Real/Complex_Numbers.thy Real/Lubs.thy Real/rat_arith.ML Real/RatArith.thy\
   Real/Rational.thy Real/PReal.thy Real/RComplete.thy \
   Real/ROOT.ML Real/Real.thy \
   Real/RealArith.thy Real/real_arith.ML Real/RealDef.thy \
isabelle