src/HOL/IsaMakefile
changeset 36080 0d9affa4e73c
parent 36073 54a9f56fae7c
child 36098 53992c639da5
     1.1 --- a/src/HOL/IsaMakefile	Wed Apr 07 11:05:11 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Apr 07 17:24:44 2010 +0200
     1.3 @@ -1097,7 +1097,8 @@
     1.4    Probability/SeriesPlus.thy Probability/Caratheodory.thy	\
     1.5    Probability/Borel.thy Probability/Measure.thy			\
     1.6    Probability/Lebesgue.thy Probability/Product_Measure.thy	\
     1.7 -  Probability/Probability_Space.thy
     1.8 +  Probability/Probability_Space.thy Probability/Information.thy \
     1.9 +  Probability/ex/Dining_Cryptographers.thy
    1.10  	@cd Probability; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Probability
    1.11  
    1.12