log

age author description
Wed, 29 Aug 2012 16:33:59 -0400 Adam Chlipala Proofreading pass through Chapter 16
Wed, 29 Aug 2012 15:36:06 -0400 Adam Chlipala Proofreading pass through Chapter 15
Wed, 29 Aug 2012 15:04:17 -0400 Adam Chlipala Proofreading pass through Chapter 14