--- a/lib/ur/basis.urs	Thu Nov 26 10:35:57 2009 -0500
+++ b/lib/ur/basis.urs	Thu Nov 26 14:20:00 2009 -0500
@@ -115,6 +115,7 @@
 (** * Time *)
 
 val now : transaction time
+val minTime : time
 
 
 (** HTTP operations *)
@@ -123,7 +124,10 @@
 
 con http_cookie :: Type -> Type
 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
-val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit
+val setCookie : t ::: Type -> http_cookie t -> {Value : t,
+                                                Expires : option time,
+                                                Secure : bool} -> transaction unit
+val clearCookie : t ::: Type -> http_cookie t -> transaction unit
 
 
 (** JavaScript-y gadgets *)