HoTT/book — pull request #341 by vog (2013-06-29 13:25:54+00:00)
Title: Fix URL to http://homotopytypetheory.org

The current URL http://www.homotopytypetheory.org is a
permanent redirect (301) to http://homotopytypetheory.org,
so the latter URL should be used instead.