log src/Large.v

age author description
Fri, 18 Jan 2013 13:45:00 -0500 Adam Chlipala Fix one reported grammatical error and make my own final pass over Chapter 1
Mon, 22 Oct 2012 14:23:52 -0400 Adam Chlipala Batch of changes based on proofreader feedback
Wed, 29 Aug 2012 16:33:59 -0400 Adam Chlipala Proofreading pass through Chapter 16