src/HOL/Probability/Probability.thy
author haftmann
Sun Jun 23 21:16:07 2013 +0200 (2013-06-23)
changeset 52435 6646bb548c6b
parent 50419 3177d0374701
child 57252 19b7ace1c5da
permissions -rw-r--r--
migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
wenzelm@33536
     1
theory Probability
hoelzl@36080
     2
imports
immler@50089
     3
  Discrete_Topology
hoelzl@41689
     4
  Complete_Measure
hoelzl@42148
     5
  Probability_Measure
hoelzl@42147
     6
  Infinite_Product_Measure
immler@50088
     7
  Projective_Limit
hoelzl@42861
     8
  Independent_Family
hoelzl@36080
     9
  Information
hoelzl@50419
    10
  Distributions
paulson@33271
    11
begin
hoelzl@47694
    12
paulson@33271
    13
end