diff -r b233f48a4d3d -r fd28b7399f2b src/HOL/Probability/Sigma_Algebra.thy
--- a/src/HOL/Probability/Sigma_Algebra.thy	Mon Nov 09 16:06:08 2009 +0000
+++ b/src/HOL/Probability/Sigma_Algebra.thy	Mon Nov 09 19:42:33 2009 +0100
@@ -235,4 +235,3 @@
   by (simp add: sigma_def sigma_sets_subset)
 
 end
-