--- a/src/HOL/IsaMakefile Tue Mar 29 14:27:31 2011 +0200
+++ b/src/HOL/IsaMakefile Tue Mar 29 14:27:39 2011 +0200
@@ -1186,17 +1186,16 @@
HOL-Probability: HOL-Multivariate_Analysis $(OUT)/HOL-Probability
$(OUT)/HOL-Probability: $(OUT)/HOL-Multivariate_Analysis \
- Probability/Borel_Space.thy Probability/Caratheodory.thy \
- Probability/Complete_Measure.thy \
+ Probability/Binary_Product_Measure.thy Probability/Borel_Space.thy \
+ Probability/Caratheodory.thy Probability/Complete_Measure.thy \
Probability/ex/Dining_Cryptographers.thy \
Probability/ex/Koepf_Duermuth_Countermeasure.thy \
- Probability/Information.thy Probability/Lebesgue_Integration.thy \
- Probability/Lebesgue_Measure.thy Probability/Measure.thy \
- Probability/Probability_Space.thy Probability/Probability.thy \
- Probability/Product_Measure.thy Probability/Radon_Nikodym.thy \
+ Probability/Finite_Product_Measure.thy Probability/Information.thy \
+ Probability/Lebesgue_Integration.thy Probability/Lebesgue_Measure.thy \
+ Probability/Measure.thy Probability/Probability_Space.thy \
+ Probability/Probability.thy Probability/Radon_Nikodym.thy \
Probability/ROOT.ML Probability/Sigma_Algebra.thy \
- Library/Countable.thy Library/FuncSet.thy \
- Library/Nat_Bijection.thy
+ Library/Countable.thy Library/FuncSet.thy Library/Nat_Bijection.thy
@cd Probability; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-Multivariate_Analysis HOL-Probability