HoTT/book — pull request #676 by Shark64 (2014-06-01 22:16:59+00:00)
Title: convert the last two instance of US-style quotes to the "logical" one.

I've noticed that somehow 2 instance of the US quoting style are still in the last master branch after my old pull requests. To keep the style uniform across the book i've created this last request.