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
     1 theory Probability
     2 imports
     3   Information
     4   "ex/Dining_Cryptographers"
     5 begin
     6 end