log

age author description
Mon, 22 Oct 2012 13:48:45 -0400 Adam Chlipala Batch of changes based on proofreader feedback