--- a/src/HOL/Random.thy Thu Jun 12 17:02:03 2014 +0200
+++ b/src/HOL/Random.thy Thu Jun 12 17:02:03 2014 +0200
@@ -4,7 +4,7 @@
header {* A HOL random engine *}
theory Random
-imports Code_Numeral List
+imports List
begin
notation fcomp (infixl "\<circ>>" 60)