
diff -r 92dfacb32053 -r c385c4eabb3b src/HOL/ex/Random.thy
--- a/src/HOL/ex/Random.thy	Fri Oct 12 08:20:46 2007 +0200
+++ b/src/HOL/ex/Random.thy	Fri Oct 12 08:21:09 2007 +0200
@@ -5,7 +5,7 @@
 header {* A simple random engine *}
 
 theory Random
-imports State_Monad Pretty_Int
+imports State_Monad Code_Integer
 begin
 
 fun




