| changeset 36649 | bfd8c550faa6 |
| parent 36624 | 25153c08655e |
| child 38656 | d5d342611edb |
--- a/src/HOL/Probability/Information.thy Tue May 04 18:05:22 2010 +0200 +++ b/src/HOL/Probability/Information.thy Tue May 04 18:19:24 2010 +0200 @@ -1,5 +1,5 @@ theory Information -imports Probability_Space Product_Measure "../Multivariate_Analysis/Convex" +imports Probability_Space Product_Measure Convex begin section "Convex theory"