author | blanchet |
Tue, 07 Dec 2010 11:56:01 +0100 | |
changeset 41045 | 2a41709f34c1 |
parent 40859 | de0b30e6c2d2 |
child 41689 | 3e39b0e730d6 |
permissions | -rw-r--r-- |
33536 | 1 |
theory Probability |
36080
0d9affa4e73c
Added Information theory and Example: dining cryptographers
hoelzl
parents:
35833
diff
changeset
|
2 |
imports |
0d9affa4e73c
Added Information theory and Example: dining cryptographers
hoelzl
parents:
35833
diff
changeset
|
3 |
Information |
0d9affa4e73c
Added Information theory and Example: dining cryptographers
hoelzl
parents:
35833
diff
changeset
|
4 |
"ex/Dining_Cryptographers" |
33271
7be66dee1a5a
New theory Probability, which contains a development of measure theory
paulson
parents:
diff
changeset
|
5 |
begin |
7be66dee1a5a
New theory Probability, which contains a development of measure theory
paulson
parents:
diff
changeset
|
6 |
end |