tuned signatures;
authorwenzelm
Fri Nov 12 14:51:28 2010 +0100 (2010-11-12)
changeset 405090bc83ae22789
parent 40508 76894f975440
child 40517 b41c6b5a7a35
tuned signatures;
src/Pure/General/symbol.ML
src/Pure/library.ML
     1.1 --- a/src/Pure/General/symbol.ML	Fri Nov 12 14:06:37 2010 +0100
     1.2 +++ b/src/Pure/General/symbol.ML	Fri Nov 12 14:51:28 2010 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  signature SYMBOL =
     1.6  sig
     1.7 -  type symbol
     1.8 +  type symbol = string
     1.9    val SOH: symbol
    1.10    val STX: symbol
    1.11    val ENQ: symbol
     2.1 --- a/src/Pure/library.ML	Fri Nov 12 14:06:37 2010 +0100
     2.2 +++ b/src/Pure/library.ML	Fri Nov 12 14:51:28 2010 +0100
     2.3 @@ -210,12 +210,12 @@
     2.4    val partition_eq: ('a * 'a -> bool) -> 'a list -> 'a list list
     2.5    val partition_list: (int -> 'a -> bool) -> int -> int -> 'a list -> 'a list list
     2.6    val gensym: string -> string
     2.7 -  type stamp
     2.8 +  type stamp = unit Unsynchronized.ref
     2.9    val stamp: unit -> stamp
    2.10 -  type serial
    2.11 +  type serial = int
    2.12    val serial: unit -> serial
    2.13    val serial_string: unit -> string
    2.14 -  structure Object: sig type T end
    2.15 +  structure Object: sig type T = exn end
    2.16  end;
    2.17  
    2.18  signature LIBRARY =