src/HOL/IsaMakefile
changeset 33272 73a0c804840f
parent 33262 b8d3b7196fe7
parent 33271 7be66dee1a5a
child 33285 a0de1d5c7b3d
child 33296 a3924d1069e5
child 33562 b1e2830ee31a
     1.1 --- a/src/HOL/IsaMakefile	Wed Oct 28 00:24:38 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Oct 28 11:43:06 2009 +0000
     1.3 @@ -51,6 +51,7 @@
     1.4    HOL-Nominal-Examples \
     1.5    HOL-Number_Theory \
     1.6    HOL-Old_Number_Theory \
     1.7 +  HOL-Probability \
     1.8    HOL-Prolog \
     1.9    HOL-SET_Protocol \
    1.10    HOL-SMT-Examples \
    1.11 @@ -345,6 +346,7 @@
    1.12    RealVector.thy \
    1.13    SEQ.thy \
    1.14    Series.thy \
    1.15 +  SupInf.thy \
    1.16    Taylor.thy \
    1.17    Transcendental.thy \
    1.18    Tools/float_syntax.ML \
    1.19 @@ -1067,6 +1069,18 @@
    1.20    Multivariate_Analysis/Convex_Euclidean_Space.thy
    1.21  	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis
    1.22  
    1.23 +## HOL-Probability
    1.24 +
    1.25 +HOL-Probability: HOL $(LOG)/HOL-Probability.gz
    1.26 +
    1.27 +$(LOG)/HOL-Probability.gz: $(OUT)/HOL Probability/ROOT.ML \
    1.28 +  Probability/Probability.thy \
    1.29 +  Probability/Sigma_Algebra.thy \
    1.30 +  Probability/SeriesPlus.thy \
    1.31 +  Probability/Caratheodory.thy \
    1.32 +  Probability/Measure.thy
    1.33 +	$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability
    1.34 +
    1.35  ## HOL-Nominal
    1.36  
    1.37  HOL-Nominal: HOL $(OUT)/HOL-Nominal