--- a/src/HOL/IsaMakefile Thu May 19 19:58:07 2011 +0200
+++ b/src/HOL/IsaMakefile Tue May 17 11:47:36 2011 +0200
@@ -1193,6 +1193,7 @@
Probability/ex/Dining_Cryptographers.thy \
Probability/ex/Koepf_Duermuth_Countermeasure.thy \
Probability/Finite_Product_Measure.thy \
+ Probability/Independent_Family.thy \
Probability/Infinite_Product_Measure.thy Probability/Information.thy \
Probability/Lebesgue_Integration.thy Probability/Lebesgue_Measure.thy \
Probability/Measure.thy Probability/Probability_Measure.thy \