Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signatures;
authorwenzelm
Fri, 12 Nov 2010 14:51:28 +0100
changeset 40509 0bc83ae22789
parent 40508 76894f975440
child 40517 b41c6b5a7a35
tuned signatures;
src/Pure/General/symbol.ML file | annotate | diff | comparison | revisions
src/Pure/library.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/symbol.ML	Fri Nov 12 14:06:37 2010 +0100
+++ b/src/Pure/General/symbol.ML	Fri Nov 12 14:51:28 2010 +0100
@@ -6,7 +6,7 @@
 
 signature SYMBOL =
 sig
-  type symbol
+  type symbol = string
   val SOH: symbol
   val STX: symbol
   val ENQ: symbol
--- a/src/Pure/library.ML	Fri Nov 12 14:06:37 2010 +0100
+++ b/src/Pure/library.ML	Fri Nov 12 14:51:28 2010 +0100
@@ -210,12 +210,12 @@
   val partition_eq: ('a * 'a -> bool) -> 'a list -> 'a list list
   val partition_list: (int -> 'a -> bool) -> int -> int -> 'a list -> 'a list list
   val gensym: string -> string
-  type stamp
+  type stamp = unit Unsynchronized.ref
   val stamp: unit -> stamp
-  type serial
+  type serial = int
   val serial: unit -> serial
   val serial_string: unit -> string
-  structure Object: sig type T end
+  structure Object: sig type T = exn end
 end;
 
 signature LIBRARY =
isabelle