src/HOL/Probability/Probability.thy
author haftmann
Sat Jul 05 11:01:53 2014 +0200 (2014-07-05)
changeset 57514 bdc2c6b40bf2
parent 57252 19b7ace1c5da
child 58587 5484f6079bcd
permissions -rw-r--r--
prefer ac_simps collections over separate name bindings for add and mult
     1 theory Probability
     2 imports
     3   Discrete_Topology
     4   Complete_Measure
     5   Probability_Measure
     6   Infinite_Product_Measure
     7   Projective_Limit
     8   Independent_Family
     9   Distributions
    10 begin
    11 
    12 end