src/Pure/library.ML
changeset 2471 09634c9cbf3c
parent 2403 8115988ccc22
child 2506 965127966331
     1.1 --- a/src/Pure/library.ML	Fri Jan 03 15:25:51 1997 +0100
     1.2 +++ b/src/Pure/library.ML	Mon Jan 06 17:02:09 1997 +0100
     1.3 @@ -45,6 +45,13 @@
     1.4  
     1.5  
     1.6  
     1.7 +(** stamps **)
     1.8 +
     1.9 +type stamp = unit ref;
    1.10 +val stamp: unit -> stamp = ref;
    1.11 +
    1.12 +
    1.13 +
    1.14  (** options **)
    1.15  
    1.16  datatype 'a option = None | Some of 'a;