log

age author description
Sat, 04 Feb 2012 11:01:06 -0500 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Sat, 04 Feb 2012 10:42:18 -0500 Adam Chlipala Extend and document RANDOM