log

age author description
Mon, 20 Dec 2010 13:29:56 -0500 Adam Chlipala Remove redundant macro