log src/Reflection.v

age author description
Wed, 28 Nov 2012 19:33:21 -0500 Adam Chlipala Batch of changes based on proofreader feedback
Wed, 29 Aug 2012 15:36:06 -0400 Adam Chlipala Proofreading pass through Chapter 15