--- a/src/HOL/Probability/Probability.thy Mon Nov 09 16:06:08 2009 +0000 +++ b/src/HOL/Probability/Probability.thy Mon Nov 09 19:42:33 2009 +0100 @@ -1,5 +1,5 @@ -theory Probability imports - Measure +theory Probability +imports Measure begin end