| changeset 35833 | 7b7ae5aa396d |
| parent 35828 | 46cfc4b8112e |
| child 35865 | 2f8fb5242799 |
| child 35890 | 14a0993fe64b |
--- a/src/HOL/IsaMakefile Thu Mar 18 14:52:11 2010 +0100 +++ b/src/HOL/IsaMakefile Tue Mar 16 16:27:28 2010 +0100 @@ -1093,6 +1093,7 @@ Probability/Borel.thy \ Probability/Measure.thy \ Probability/Lebesgue.thy \ + Probability/Product_Measure.thy \ Probability/Probability_Space.thy @$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Probability