src/HOL/Probability/Probability.thy
author hoelzl
Tue Jan 18 21:37:23 2011 +0100 (2011-01-18)
changeset 41654 32fe42892983
parent 40859 de0b30e6c2d2
child 41689 3e39b0e730d6
permissions -rw-r--r--
Gauge measure removed
wenzelm@33536
     1
theory Probability
hoelzl@36080
     2
imports
hoelzl@36080
     3
  Information
hoelzl@36080
     4
  "ex/Dining_Cryptographers"
paulson@33271
     5
begin
paulson@33271
     6
end