1.1 --- a/src/Pure/ML-Systems/proper_int.ML	Sat Nov 27 15:58:36 2010 +0100
     1.2 +++ b/src/Pure/ML-Systems/proper_int.ML	Sat Nov 27 16:27:52 2010 +0100
     1.3 @@ -165,6 +165,15 @@
     1.4    val fromInt = Word.fromInt o dest_int;
     1.5  end;
     1.6  
     1.7 +structure Word8 =
     1.8 +struct
     1.9 +  open Word8;
    1.10 +  val wordSize = mk_int Word8.wordSize;
    1.11 +  val toInt = mk_int o Word8.toInt;
    1.12 +  val toIntX = mk_int o Word8.toIntX;
    1.13 +  val fromInt = Word8.fromInt o dest_int;
    1.14 +end;
    1.15 +
    1.16  structure Word32 =
    1.17  struct
    1.18    open Word32;
    1.19 @@ -174,6 +183,15 @@
    1.20    val fromInt = Word32.fromInt o dest_int;
    1.21  end;
    1.22  
    1.23 +structure LargeWord =
    1.24 +struct
    1.25 +  open LargeWord;
    1.26 +  val wordSize = mk_int LargeWord.wordSize;
    1.27 +  val toInt = mk_int o LargeWord.toInt;
    1.28 +  val toIntX = mk_int o LargeWord.toIntX;
    1.29 +  val fromInt = LargeWord.fromInt o dest_int;
    1.30 +end;
    1.31 +
    1.32  
    1.33  (* Real *)
    1.34