--- a/lib/ur/basis.urs	Mon Feb 17 14:34:48 2014 -0500
+++ b/lib/ur/basis.urs	Tue Feb 18 07:07:01 2014 -0500
@@ -167,6 +167,16 @@
 val timef : string -> time -> string (* Uses strftime() format string *)
 val readUtc : string -> option time
 
+(* Takes a year, month, day, hour, minute, second. *)
+val fromDatetime : int -> int -> int -> int -> int -> int -> time
+val datetimeYear : time -> int
+val datetimeMonth : time -> int
+val datetimeDay : time -> int
+val datetimeHour : time -> int
+val datetimeMinute: time -> int
+val datetimeSecond : time -> int
+val datetimeDayOfWeek : time -> int
+
 
 (** * Encryption *)