--- a/src/HOL/IsaMakefile Mon Dec 06 19:18:02 2010 +0100
+++ b/src/HOL/IsaMakefile Fri Dec 03 15:25:14 2010 +0100
@@ -1183,7 +1183,7 @@
Probability/ex/Koepf_Duermuth_Countermeasure.thy \
Probability/Information.thy Probability/Lebesgue_Integration.thy \
Probability/Lebesgue_Measure.thy Probability/Measure.thy \
- Probability/Positive_Infinite_Real.thy \
+ Probability/Positive_Extended_Real.thy \
Probability/Probability_Space.thy Probability/Probability.thy \
Probability/Product_Measure.thy Probability/Radon_Nikodym.thy \
Probability/ROOT.ML Probability/Sigma_Algebra.thy \