log

age author description
Wed, 13 Feb 2013 10:22:18 -0500 Adam Chlipala Finished last pass through the book before beginning the MIT Press editorial process