--- a/src/HOL/IsaMakefile	Wed Aug 08 11:02:38 2012 +0200
+++ b/src/HOL/IsaMakefile	Wed Aug 08 11:21:09 2012 +0200
@@ -41,6 +41,12 @@
 	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
 
 
+HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
+
+$(ISABELLE_OUTPUT)/HOL-Probability:
+	@$(ISABELLE_TOOL) build -b HOL-Probability
+
+
 HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
 
 $(ISABELLE_OUTPUT)/HOL-Nominal: