src/HOL/Probability/Probability.thy
author hoelzl
Fri Feb 19 13:40:50 2016 +0100 (2016-02-19)
changeset 62378 85ed00c1fe7c
parent 62083 7582b39f51ed
child 63122 dd651e3f7413
permissions -rw-r--r--
generalize more theorems to support enat and ennreal
     1 (*  Title:      HOL/Probability/Probability.thy
     2     Author:     Johannes Hölzl, TU München
     3 *)
     4 
     5 theory Probability
     6 imports
     7   Discrete_Topology
     8   Complete_Measure
     9   Projective_Limit
    10   Probability_Mass_Function
    11   Stream_Space
    12   Embed_Measure
    13   Central_Limit_Theorem
    14 begin
    15 
    16 end