# HG changeset patch
# User paulson
# Date 1257844975 0
# Node ID fbebb43610dc01b0b39f06211ebc3db3159033ce
# Parent  a4dbf0f92d9644eaafff43eb12a7012d79e0a16d
Inserted missing theory dependency

diff -r a4dbf0f92d96 -r fbebb43610dc src/HOL/Probability/Probability.thy
--- a/src/HOL/Probability/Probability.thy	Mon Nov 09 21:56:55 2009 +0100
+++ b/src/HOL/Probability/Probability.thy	Tue Nov 10 09:22:55 2009 +0000
@@ -1,5 +1,5 @@
 theory Probability
-imports Measure
+imports Measure Borel
 begin
 
 end