src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Mon Nov 09 11:34:22 2009 +0100
+++ b/src/HOL/IsaMakefile	Mon Nov 09 15:50:15 2009 +0000
@@ -1069,7 +1069,8 @@
   Probability/Sigma_Algebra.thy \
   Probability/SeriesPlus.thy \
   Probability/Caratheodory.thy \
-  Probability/Measure.thy
+  Probability/Measure.thy \
+  Probability/Borel.thy
 	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability