src/Pure/library.ML
changeset 2471 09634c9cbf3c
parent 2403 8115988ccc22
child 2506 965127966331
--- a/src/Pure/library.ML	Fri Jan 03 15:25:51 1997 +0100
+++ b/src/Pure/library.ML	Mon Jan 06 17:02:09 1997 +0100
@@ -45,6 +45,13 @@
 
 
 
+(** stamps **)
+
+type stamp = unit ref;
+val stamp: unit -> stamp = ref;
+
+
+
 (** options **)
 
 datatype 'a option = None | Some of 'a;