HoTT/book — pull request #616 by mikeshulman (2014-01-20 16:09:36+00:00)
Title: Clarify classical, constructive, intuitionistic in intro

Since everyone seems to like this version, I'm submitting a pull request.