src/Pure/library.ML
changeset 40509 0bc83ae22789
parent 40318 035b2afbeb2e
child 40564 6827505e96e1
     1.1 --- a/src/Pure/library.ML	Fri Nov 12 14:06:37 2010 +0100
     1.2 +++ b/src/Pure/library.ML	Fri Nov 12 14:51:28 2010 +0100
     1.3 @@ -210,12 +210,12 @@
     1.4    val partition_eq: ('a * 'a -> bool) -> 'a list -> 'a list list
     1.5    val partition_list: (int -> 'a -> bool) -> int -> int -> 'a list -> 'a list list
     1.6    val gensym: string -> string
     1.7 -  type stamp
     1.8 +  type stamp = unit Unsynchronized.ref
     1.9    val stamp: unit -> stamp
    1.10 -  type serial
    1.11 +  type serial = int
    1.12    val serial: unit -> serial
    1.13    val serial_string: unit -> string
    1.14 -  structure Object: sig type T end
    1.15 +  structure Object: sig type T = exn end
    1.16  end;
    1.17  
    1.18  signature LIBRARY =