--- a/src/HOL/IsaMakefile Thu Mar 04 19:50:45 2010 +0100
+++ b/src/HOL/IsaMakefile Thu Mar 04 21:52:26 2010 +0100
@@ -1086,13 +1086,15 @@
HOL-Probability: HOL $(LOG)/HOL-Probability.gz
-$(LOG)/HOL-Probability.gz: $(OUT)/HOL Probability/ROOT.ML \
- Probability/Probability.thy \
- Probability/Sigma_Algebra.thy \
- Probability/SeriesPlus.thy \
- Probability/Caratheodory.thy \
- Probability/Measure.thy \
- Probability/Borel.thy
+$(LOG)/HOL-Probability.gz: $(OUT)/HOL Probability/ROOT.ML \
+ Probability/Probability.thy \
+ Probability/Sigma_Algebra.thy \
+ Probability/SeriesPlus.thy \
+ Probability/Caratheodory.thy \
+ Probability/Borel.thy \
+ Probability/Measure.thy \
+ Probability/Lebesgue.thy \
+ Probability/Probability_Space.thy
@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability