src/HOL/Probability/Information.thy
changeset 42067 66c8281349ec
parent 41981 cdf7693bbe08
child 42148 d596e7bb251f
     1.1 --- a/src/HOL/Probability/Information.thy	Tue Mar 22 18:53:05 2011 +0100
     1.2 +++ b/src/HOL/Probability/Information.thy	Tue Mar 22 20:06:10 2011 +0100
     1.3 @@ -1,3 +1,10 @@
     1.4 +(*  Title:      HOL/Probability/Information.thy
     1.5 +    Author:     Johannes Hölzl, TU München
     1.6 +    Author:     Armin Heller, TU München
     1.7 +*)
     1.8 +
     1.9 +header {*Information theory*}
    1.10 +
    1.11  theory Information
    1.12  imports
    1.13    Probability_Space