src/HOL/Random.thy

--- a/src/HOL/Random.thy	Wed Jun 11 18:22:05 2014 +0200
+++ b/src/HOL/Random.thy	Thu Jun 12 01:00:49 2014 +0200
@@ -188,4 +188,3 @@
 no_notation scomp (infixl "\<circ>\<rightarrow>" 60)
 
 end
-