src/HOL/IsaMakefile
changeset 33533 40b44cb20c8c
parent 33471 5aef13872723
child 33583 b5e0909cd5ea
     1.1 --- a/src/HOL/IsaMakefile	Mon Nov 09 11:34:22 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Nov 09 15:50:15 2009 +0000
     1.3 @@ -1069,7 +1069,8 @@
     1.4    Probability/Sigma_Algebra.thy \
     1.5    Probability/SeriesPlus.thy \
     1.6    Probability/Caratheodory.thy \
     1.7 -  Probability/Measure.thy
     1.8 +  Probability/Measure.thy \
     1.9 +  Probability/Borel.thy
    1.10  	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability
    1.11  
    1.12