src/HOL/Probability/Information.thy
changeset 43556 0d78c8d31d0d
parent 43340 60e181c4eae4
child 43920 cedb5cb948fd
     1.1 --- a/src/HOL/Probability/Information.thy	Sun Jun 26 19:10:03 2011 +0200
     1.2 +++ b/src/HOL/Probability/Information.thy	Mon Jun 27 09:42:46 2011 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  theory Information
     1.5  imports
     1.6    Independent_Family
     1.7 +  Radon_Nikodym
     1.8    "~~/src/HOL/Library/Convex"
     1.9  begin
    1.10