author | blanchet |
Thu, 01 Apr 2010 10:27:06 +0200 | |
changeset 36066 | 1493b43204e9 |
parent 35833 | 7b7ae5aa396d |
child 36080 | 0d9affa4e73c |
permissions | -rw-r--r-- |
33536 | 1 |
theory Probability |
35833 | 2 |
imports Probability_Space Product_Measure |
33271
7be66dee1a5a
New theory Probability, which contains a development of measure theory
paulson
parents:
diff
changeset
|
3 |
begin |
7be66dee1a5a
New theory Probability, which contains a development of measure theory
paulson
parents:
diff
changeset
|
4 |
|
7be66dee1a5a
New theory Probability, which contains a development of measure theory
paulson
parents:
diff
changeset
|
5 |
end |