--- a/src/HOL/IsaMakefile Tue Oct 27 14:46:03 2009 +0000
+++ b/src/HOL/IsaMakefile Wed Oct 28 11:42:31 2009 +0000
@@ -51,6 +51,7 @@
HOL-Nominal-Examples \
HOL-Number_Theory \
HOL-Old_Number_Theory \
+ HOL-Probability \
HOL-Prolog \
HOL-SET_Protocol \
HOL-SMT-Examples \
@@ -1060,6 +1061,18 @@
Multivariate_Analysis/Convex_Euclidean_Space.thy
@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis
+## HOL-Probability
+
+HOL-Probability: HOL $(LOG)/HOL-Probability.gz
+
+$(LOG)/HOL-Probability.gz: $(OUT)/HOL Probability/ROOT.ML \
+ Probability/Probability.thy \
+ Probability/Sigma_Algebra.thy \
+ Probability/SeriesPlus.thy \
+ Probability/Caratheodory.thy \
+ Probability/Measure.thy
+ $(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability
+
## HOL-Nominal
HOL-Nominal: HOL $(OUT)/HOL-Nominal