log src/MoreDep.v

age author description
Mon, 27 Aug 2012 17:21:34 -0400 Adam Chlipala Proofreading pass through Chapter 8
Fri, 17 Aug 2012 14:19:59 -0400 Adam Chlipala Proofreading pass through Chapter 3
Wed, 01 Aug 2012 16:32:04 -0400 Adam Chlipala Vertical spacing pass for MoreDep and DataStruct