log

age author description
Sat, 19 Sep 2015 07:44:42 -0400 Adam Chlipala Typo fix
Sat, 15 Aug 2015 15:59:02 -0400 Adam Chlipala Fuller English fix