--- a/src/HOL/IsaMakefile Tue Mar 29 14:27:39 2011 +0200
+++ b/src/HOL/IsaMakefile Tue Mar 29 14:27:41 2011 +0200
@@ -1190,7 +1190,8 @@
Probability/Caratheodory.thy Probability/Complete_Measure.thy \
Probability/ex/Dining_Cryptographers.thy \
Probability/ex/Koepf_Duermuth_Countermeasure.thy \
- Probability/Finite_Product_Measure.thy Probability/Information.thy \
+ Probability/Finite_Product_Measure.thy \
+ Probability/Infinite_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 \