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