log lib/ur/datetime.ur

age author description
2014-02-18 Adam Chlipala Merge with small clean-ups
2013-12-10 Patrick Hurst Add datetime functions for adding time intervals.
2013-12-08 Patrick Hurst Finish datetime -> t rename
2013-12-08 Patrick Hurst Add day-of-week/month <-> int conversion functions.
2013-12-05 Patrick Hurst Day of week functions.
2013-12-05 Patrick Hurst Basic datetime library.