changeset 26271 | e324f8918c98 |
parent 26265 | 4b63b9e9b10d |
child 26348 | 0f8e23edd357 |
--- a/src/HOL/IsaMakefile Fri Mar 14 12:18:56 2008 +0100 +++ b/src/HOL/IsaMakefile Fri Mar 14 19:57:12 2008 +0100 @@ -170,7 +170,7 @@ HOL-Complex: HOL $(OUT)/HOL-Complex $(OUT)/HOL-Complex: $(OUT)/HOL Complex/ROOT.ML $(SRC)/Tools/float.ML \ - Library/Zorn.thy \ + Library/Zorn.thy Library/Order_Relation.thy \ Real/ContNotDenum.thy Real/float_arith.ML Real/Float.thy \ Real/Lubs.thy Real/PReal.thy Real/RComplete.thy \ Real/Rational.thy Real/Real.thy Real/RealDef.thy Real/RealPow.thy \