modernized structure Random_Word;

--- a/src/Tools/Metis/src/PortableIsabelle.sml	Sun Nov 08 13:44:16 2009 +0100
+++ b/src/Tools/Metis/src/PortableIsabelle.sml	Sun Nov 08 13:56:44 2009 +0100
@@ -33,10 +33,10 @@
 (* Generating random values.                                                 *)
 (* ------------------------------------------------------------------------- *)
 
-val randomWord = RandomWord.next_word;
-val randomBool = RandomWord.next_bool;
-fun randomInt n = RandomWord.next_int 0 (n - 1);
-val randomReal = RandomWord.next_real;
+val randomWord = Random_Word.next_word;
+val randomBool = Random_Word.next_bool;
+fun randomInt n = Random_Word.next_int 0 (n - 1);
+val randomReal = Random_Word.next_real;
 
 end;
 

--- a/src/Tools/random_word.ML	Sun Nov 08 13:44:16 2009 +0100
+++ b/src/Tools/random_word.ML	Sun Nov 08 13:56:44 2009 +0100
@@ -18,7 +18,7 @@
   val pick_weighted: (int * 'a) list -> 'a
 end;
 
-structure RandomWord: RANDOM_WORD =
+structure Random_Word: RANDOM_WORD =
 struct
 
 (* random words: 0w0 <= result <= max_word *)